Hardware-Partitionierung mit Linux :: LUG-DD 10.12.2003 :: Josef Spillner <js177634@inf.tu-dresden.de>

L4Linux Entwickelt an der TU Dresden Läuft auf dem L4-Mikrokern als Nutzerprozess Verfügbar ist Kernel 2.2.25 L4 im proc-Dateisystem enttarnbar