Hacker News new | ask | show | jobs
by snvzz 2106 days ago
By "a working microkernel" you probably mean a working microkernel-based operating system.

If so, besides the hurd (and all the debian packages that build and run for it), there's Minix 3, HelenOS and Genode (specifically Sculpt) to look into.