Future directions in the evolution of the L4 microkernel
Kevin J. Elphinstone · 2004
L4 is a small microkernel that is used as a basis for several operating systems. L4 seems an ideal basis for embedded systems that possess and use memory protection. It could provide a reliable, robust, and secure embedded platform.