News for hackers. Stuff that matters.
Re:The Helios microkernel by LargoLasskhyfv on Thursday June 16, 2022 @12:23PM (#31767889)
There is https://genode.org/ which builds on top of it, as one of a few similar options. Look for Sculpt-OS there.

There are no comments on this comment yet.