L4
A family of OSes originally by Jochen Liedtke are microkernels to demonstrate how optimizing performance requires OS kernels to be completely hardware-dependent, and even CPU-version dependent in a same family of CPUs.- L4/Ka - The L4 microkernel family and friends at System Architecture Group, University of Karlsruhe.
- The L4 µ-Kernel Family at Operating Systems Group, TU Dresden.
- Jochen Liedtke, R.I.P., was chair of the System Architecture Group at the University of Karlsruhe.
This page is linked from: Apostle EUMEL Io Microkernel Microkernel Debate