# L4Linux

L$^4$Linux ist eine modifizierte Version des Betriebssystems Linux. L$^4$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 Linux-Distribution für die X86-Architektur benutzt werden.
Entwickelt wurde L$^4$Linux, um innerhalb des Dresden Real-Time Operating System Project (DROPS) Echtzeit- und Time-Sharing-Anwendungen gleichzeitig auf einem Computer ausführen zu können.
Mit L$^4$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.

## Versionen

Die Versionierung orientiert sich an der des Linux-Kernels.
| Version | Veröffentlichung | Anmerkung |
| Ältere Version; nicht mehr unterstützt: 2.0 | | Basiert auf Linux 2.0.21 |
| Ältere Version; nicht mehr unterstützt: 2.2 | | Basiert auf Linux 2.2.26 |
| Ältere Version; nicht mehr unterstützt: 2.4 | 14. Januar 2004 | Basiert auf Linux 2.4.24 |
| Ältere Version; nicht mehr unterstützt: 2.6 | 19. August 2004 | Basiert auf Linux 2.6.8.1 |
| Ältere Version; nicht mehr unterstützt: 3.0 | August 2011 | Basiert auf Linux 3.0 |
| Ältere Version; nicht mehr unterstützt: 3.5 | August 2012 | Basiert auf Linux 3.5 |
| Ältere Version; nicht mehr unterstützt: 3.6 | November 2012 | Basiert auf Linux 3.6 |
| Ältere Version; nicht mehr unterstützt: 3.7 | Januar 2013 | Basiert auf Linux 3.7 |
| Ältere Version; nicht mehr unterstützt: 3.8 | März 2013 | Basiert auf Linux 3.8 |
| Ältere Version; nicht mehr unterstützt: 3.9 | Juni 2013 | Basiert auf Linux 3.9 |
| Ältere Version; nicht mehr unterstützt: 3.10 | August 2013 | Basiert auf Linux 3.10 |
| Ältere Version; nicht mehr unterstützt: 3.11 | September 2013 | Basiert auf Linux 3.11 |
| Ältere Version; nicht mehr unterstützt: 3.12 | Dezember 2013 | Basiert auf Linux 3.12 |
| Ältere Version; nicht mehr unterstützt: 3.13 | Februar 2014 | Basiert auf Linux 3.13 |
| Ältere Version; nicht mehr unterstützt: 3.14 | Mai 2014 | Basiert auf Linux 3.14 |
| | | (Auf Linux 3.15 aufbauend wurde keine Version erstellt) |
| Ältere Version; nicht mehr unterstützt: 3.16 | September 2014 | Basiert auf Linux 3.16 |
| Ältere Version; nicht mehr unterstützt: 4.3 | Dezember 2015 | Basiert auf Linux 4.3 |
| Ältere Version; nicht mehr unterstützt: 4.6 | Mai 2016 | Basiert auf Linux 4.6 |
| Ältere Version; nicht mehr unterstützt: 4.7 | August 2016 | Basiert auf Linux 4.7 |
| Ältere Version; nicht mehr unterstützt: 4.13 | September 2017 | Basiert auf Linux 4.13 |
| Ältere Version; nicht mehr unterstützt: 4.14 | Dezember 2017 | Basiert auf Linux 4.14 |
| Aktuelle Version: 4.19 | November 2018 | Basiert auf Linux 4.19 |

## L4Android

Bei L4Android handelt es sich um eine Abspaltung von L4Linux, welche die Kernelmodifikationen von L4Linux und jene von Google für Android zusammenführt. Es handelt sich um ein Gemeinschaftsprojekt der Operating Systems Gruppe von der Technischen Universität Dresden und dem Chair for Security in Telecommunications der Technischen Universität Berlin.