The L4 microkernel family

http://os.inf.tu-dresden.de/L4/

The L3 and L4 microkernels: overview, status, download, installation, use, documentation