L4

Stichpunkte

Allgemein
	entworfen und implementiert von Jochen Liedtke als Weiterentwicklung von EUMEL
	Ursprünglich war L4 der Name eines Mikrokernels der zweiten Generation
	Dieser war eine reine Assemblerimplementierung und lief lediglich auf Intel-x86-Basis
	Später kamen weitere Umsetzungen hinzu
	die auf anderen Plattformen liefen
	Inzwischen wird mit L4 hauptsächlich das API bezeichnet
	X.1 und X.2 liegen
	Dieses wird nach den stabilen Versionen Version 2 und Version 4 unterschieden
	zwischen denen die Entwicklungsstadien X.0
	Aktueller Stand ist Version X.2
	externe Speicherverwaltung
	bieten ein synchrones IPC und eine einfache
	die auf dem L4-API basieren
	Kernel
	der Linux-Kern im Nutzermodus (L4Linux) und ganzheitlich echtzeitfähige Betriebssysteme (wie DROPS) laufen
	dem modularen Prinzip der Mikrokernel folgend
	graphische Nutzeroberflächen (wie DOpE)
	Auf Basis von L4 können
	was die Entwicklung deutlich vereinfacht
	ähnlich dem Prinzip von User Mode Linux
	L4 selbst kann in der Implementierung Fiasco-UX selbst auf Linux betrieben werden
	Für Entwickler von Anwendungen steht die Bibliothek L4Env zur Verfügung
	Die Konstruktion von bewiesen sicheren Systemen wird mit dem Projekt VFiasco angestrebt
	welches durch den Einsatz von aus der Mathematik und theoretischen Informatik bekannten Coalgebren verifiziert wird. [Bearbeiten]
Siehe auch
	Fiasco [Bearbeiten]
Weblinks
	Community-Seite für L4-Projekte L4Ka (http://www.l4ka.org) - Implementierungen L4Ka::Pistachio und L4Ka::Hazelnut Fiasco (http://os.inf.tu-dresden.de/fiasco/) – Eine freie C++-Implementierung für x86- und ARM-Prozessoren UNSW (http://www.cse.unsw.edu.au/~disy/L4/) - Portierung auf die Architekturen Alpha und MIPS L4Linux (http://os.inf.tu-dresden.de/L4/LinuxOnL4/) - Linux auf dem L4 Microkernel DROPS (http://os.inf.tu-dresden.de/drops/) - The Dresden Real-Time Operating System Project en:L4 microkernel family es:L4 (microkernel)
	L4Hq (http://www.l4hq.org/) - L4 Headquarters

Dieser Artikel basiert auf dem Artikel L4 aus der freien Enzyklopädie wikipedia und steht unter der GNU Lizenz für freie Dokumentation. In der wikipedia ist eine Liste der Autoren verfügbar.