That's fantastic. I read in another comment that the startup time of the Pi is 5 seconds. Could this be optimized further? Afaik most of the startup time of Linux is detecting and initializing the hardware, so presumably this could be significantly optimized when the target hardware is known ahead of time.

I'm also sort of disillusioned with modern computing when I see a video of a home computer from the 80s that you press the power button and it's on (command prompt) before you've even removed your finger!