Phoronix: HelenOS Micro-Kernel OS Still Marching On

While not one of the most well known multi-server micro-kernel operating systems compared to GNU Hurd and others, HelenOS continues to move forward as a general purpose BSD-licensed operating system that dances to its own beat...

http://www.phoronix.com/vr.php?view=MTI5ODk