> Xous Operating System

So it is a kernel and can run on "hardware". On which "hardware", is left as an exercise for the user.

RISC-V with an MMU. They're building a chip for it to run on, see https://baochip.com/

[deleted]