L4Linux
L4Linux ist eine modifizierte Version des Betriebssystems Linux. L4Linux 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.
| L4Linux | |
|---|---|
| Entwickler | Technische Universität Dresden |
| Lizenz(en) | GNU General Public License |
| Akt. Version | 6.10 |
| Abstammung | \ Linux \ L4Linux |
| Architektur(en) | IA-32, x64, ARM |
| l4linux.org | |
Entwickelt wurde L4Linux, 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 L4Linux 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
BearbeitenDie Versionierung orientiert sich an der des Linux-Kernels.[1]
Alte Version
Aktuelle Version
| Version | Codename | Veröffentlichung | Anmerkung |
|---|---|---|---|
| 2.0[2] | Basiert auf Linux 2.0.21 | ||
| 2.2[2] | Basiert auf Linux 2.2.26 | ||
| 2.4 | 14. Januar 2004 | Basiert auf Linux 2.4.24 | |
| 2.6 | 19. August 2004 | Basiert auf Linux 2.6.8.1 | |
| 3.0 | August 2011 | Basiert auf Linux 3.0 | |
| 3.5 | August 2012 | Basiert auf Linux 3.5 | |
| 3.6 | November 2012 | Basiert auf Linux 3.6 | |
| 3.7 | Januar 2013 | Basiert auf Linux 3.7 | |
| 3.8 | März 2013 | Basiert auf Linux 3.8 | |
| 3.9 | Juni 2013 | Basiert auf Linux 3.9 | |
| 3.10 | August 2013 | Basiert auf Linux 3.10 | |
| 3.11 | September 2013 | Basiert auf Linux 3.11 | |
| 3.12 | Dezember 2013 | Basiert auf Linux 3.12 | |
| 3.13 | Februar 2014 | Basiert auf Linux 3.13 | |
| 3.14 | Mai 2014 | Basiert auf Linux 3.14 | |
| (Auf Linux 3.15 aufbauend wurde keine Version erstellt) | |||
| 3.16 | September 2014 | Basiert auf Linux 3.16 | |
| 4.3 | Dezember 2015 | Basiert auf Linux 4.3 | |
| 4.6 | Mai 2016 | Basiert auf Linux 4.6 | |
| 4.7 | August 2016 | Basiert auf Linux 4.7 | |
| 4.13 | September 2017 | Basiert auf Linux 4.13 | |
| 4.14 | Dezember 2017 | Basiert auf Linux 4.14 | |
| … | |||
| 4.19 | November 2018 | Basiert auf Linux 4.19 |
L4Android
BearbeitenBei L4Android[3] 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[4] der Technischen Universität Berlin.
Siehe auch
BearbeitenWeblinks
Bearbeiten- Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter: The Performance of µ-Kernel-Based Systems. (PDF; 142 kB) In: 16th ACM Symposium on Operating Systems Principles (SOSP ’97). 5. Oktober 1997, abgerufen am 28. August 2012 (englisch).
- M. Borriss, M. Hohmuth, J. Wolter, H. Härtig: Portierung von Linux auf den µ-Kern L4. In: Int. wiss. Kolloquium Ilmenau Sept. 1997. Abgerufen am 12. März 2021.
- Wiki L4Linux. In: tudos.org. Abgerufen am 12. März 2021 (englisch).
- Adam Lackorzynski, Janis Danisevskis, Jan Nordholz, Michael Peter: Real-Time Performance of L4Linux. (PDF; 152 kB) Abgerufen am 12. März 2021 (englisch).
- Adam Lackorzynski: L4Linux Porting Optimizations. (PDF; 760 kB) März 2004, abgerufen am 12. März 2021 (englisch).
- Michael Hohmuth, Jean Wolter: Prinzessin auf der Erbse. In: iX – Magazin für professionelle Informationstechnik. Abgerufen am 12. März 2021 (Ausgabe 1/1997).
- Stefan Ueberhorst: Linux auf L4. In: Computerwoche. Abgerufen am 12. März 2021 (Ausgabe 33/1996).
- Michael Hohmuth: Diplomarbeit: Linux-Emulation auf einem Mikrokern. In: TU Dresden, Fakultät Informatik, Lehrstuhl Betriebssysteme. 29. August 1996, abgerufen am 12. März 2021.
- Adam Lackorzynski: Großer Beleg: “L4Linux on L4Env”. (PDF; 513 kB) In: TU Dresden, Fakultät Informatik, Lehrstuhl Betriebssysteme. Dezember 2002, abgerufen am 12. März 2021 (englisch).
Einzelnachweise
Bearbeiten- ↑ L4Linux - Running Linux on top of L4. In: tu-dresden.de. Abgerufen am 12. März 2021 (englisch).
- ↑ a b L4Linux Overview. In: tu-dresden.de. Abgerufen am 12. März 2021 (englisch).
- ↑ L4Android. In: l4android.org. Abgerufen am 28. August 2012 (englisch).
- ↑ Security in Telecommunications. In: tu-berlin.de. Abgerufen am 12. März 2021.