It’s possible to boot Linux in seconds, it’d just be a terrible developer experience.

The problem is RPi though, and all the junk it runs before booting Linux.