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.


This page is linked from: Apostle   EUMEL   Io   Microkernel   Microkernel Debate