L3 microkernel