Wikipedia
HelenOS
HelenOS is an operating system based on a multiserver microkernel design. The source code of HelenOS is published under a BSD License.