rtmk

A free real-time microkernel OS developed by Johan Rydberg, sharing alot of ideas with Mach.