News for hackers. Stuff that matters.

A comment on Xous Operating System. Parent comment

Re:Xous Operating System by panick21_ on Saturday January 17, 2026 @08:38PM (#46663976)
QNX is not open source.

And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.

[ Parent | on HN ]
Re:Xous Operating System by wickrom on Saturday January 17, 2026 @08:53PM (#46664065)
What did you mean by a dynamic system ?
[ Parent | on HN ]
Re:Xous Operating System by pjmlp on Sunday January 18, 2026 @06:32AM (#46666920)
One where processes, drivers and libraries come and go during the whole OS uptime.
[ Parent | on HN ]
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 ]