L⁴Linux

L⁴Linux ist eine modifizierte Version des Betriebssystems Linux. L⁴Linux läuft virtualisiert in einer L4-Mikrokernel-Umgebung, gleichberechtigt neben anderen µ-Kernelanwendungen. Es ist binärkompatibel zum normalen Linux/x86-Kern und kann somit mit jeder PC-basierten Linux-Distribution benutzt werden.

Entwickelt wurde L⁴Linux, um innerhalb des Dresden Real-Time Operating System Projects (DROPS) Echtzeit- und time-sharing-Anwendungen gleichzeitig auf einem Computer ausführen zu können.

Mit L⁴Linux lässt sich ebenfalls eine virtualisierte Umgebung, ähnlich wie etwa mit Xen oder OpenVZ, herstellen. Hierbei muss jedoch beachtet werden, dass sich die Projekt-Zielsetzungen und Konzepte von L4 und Xen teils gravierend unterscheiden.

Weblinks

• Website von L⁴Linux