The dr'ex kernel

dr'ex is a GPLed exokernel written in C/asm for the IA32 architecture.
Simple but powerful code, low level user interface and hardware resource management at user level are the main architecture goals. Go to the
project's Sourceforge page.