3 ms·

Yes, we're currently using ARM32, and I'm actually working on porting the course to the Raspberry Pi 4.