News for hackers. Stuff that matters.
Re:Ask HN: What's a reasonable microkernel-based OS for desk... by garrybelka on Monday September 11, 2017 @06:05AM (#15217329)
L4 might be an option. http://l4hq.org/projects/os/

There are no comments on this comment yet.