HelenOS / helenos

A portable microkernel-based multiserver operating system written from scratch.