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