|
|
|
|
|
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. |
|