Interesting little OS, trying to compile it on my Raspberry Pi400. I got the runtime to compile I think, no luck on cubit.gr Would be handy for CM4 embedded use. Or even Pico's RISC-V version should be possible?