L3 (Betriebssystem)
aus Wikipedia, der freien Enzyklopädie
L3 ist ein Mikrokernel-Betriebssystem auf Intel x86-Basis. Entworfen wurde es als „very lean and features fast, message-based, synchronous IPC, simple-to-use external paging mechanisms and a security mechanism based on secure domains (tasks, clans and chiefs)“.
L3 ist der Vorgänger von L4, einem Mikrokern mit ähnlichem Konzept. Das System wurde als vollständiges, nicht-grafisches Betriebssystem von Jochen Liedtke und seinem Team am GMD-Forschungszentrum Informationstechnik entwickelt. Geschrieben ist es fast vollständig in der strukturierten Programmiersprache ELAN. Ausnahmen hiervon bilden der Systemkern sowie einige Hardwaretreiber in Assembler und CDL2. Es ist seit 1992 beim TÜV Süd im Einsatz.