Awesome

EXA Kernel

EXA kernel is the microkernel of exaequOS.com

See documentation here