Does anybody know whether OS-9 has been ported to an RPi?
It claims ARMv5 and ARMv7 support, but thats all I can find on its main site. Its certainly light weight: its original release supported multi- tasking on a 64KB 6809. I ran it for some years on a 68020 where it was stable, reliable and amazingly bug-free.