Am I reading this right, you're using ARM now? We were using a Pentium PC (and that was already old for 2004, but good enough for for the course, obviously).
Yes, we're currently using ARM32, and I'm actually working on porting the course to the Raspberry Pi 4.