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/
[ Parent
| on HN ]
There are no comments on this comment yet.