News for hackers. Stuff that matters.

A comment on Xous Operating System. Parent comment

Re:Xous Operating System by LargoLasskhyfv on Sunday January 18, 2026 @10:10AM (#46668401)
There is Genode, which can run atop of seL4(amongst others).

https://genode.org/

https://genodians.org/

https://en.wikipedia.org/wiki/Genode

[ Parent | on HN ]

There are no comments on this comment yet.