L3 microkernel


L3 microkernel is a microkernel operating system by German computer scientist Jochen Liedtke.