Ooh, nice; I had half a mind to do something like this a few years ago (called PyOS), but never had the time. My rationale was that getting python code running

Ooh, nice; I had half a mind to do something like this a few years ago (called PyOS), but never had the time. My rationale was that getting python code running on boot on a raspberry pi required learning about Linux sysadmin, rather than just coding (which, for high-school students, is important to make it quick and easy to see results). Micropython does this - drop a main.py and/or boot.py and it runs on boot; or you have a repl. Why not on a fully fledged computer?