Nova
   Effort to create a POSIX-like operating system atop the rtmk microkernel. [Open Source, GPL]
   http://www.freesoftware.fsf.org/nova/

Quantix
   A POSIX microkernel with roots of the Mach and FreeBSD projects. [Open source, BSD-like]
   http://quantix.sourceforge.net/