HelenOS
HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch.
HelenOS Documentation