Is there any chance of booting this on a raspberry pi someday?
I'd love a non-linux minimal single-user OS that boots in <1 second
While I share the sentiment (and have been noodling with similar projects), unfortunately the minimum is around 4 seconds as the VideoCore chip is what boots first, then after about 4 seconds hands things over to the ARM chip, which can effectively boot instantly with this sort of OS.
Is that 4sec delay something introduce in the pi 4 or 5? At least one guy got the 3 to boot to a Qt app in 2.8 seconds: https://www.furkantokac.com/rpi3-fast-boot-less-than-2-secon...