L 4 Linux je upravená verze linuxového jádra přizpůsobená pro běh na mikrojádru L4 .
L 4 Linux není fork Linuxu, ale je s ním binárně kompatibilní . Díky tomu může nahradit jádro Linux / x86 v jakékoli distribuci založené na něm .
L 4 Linux byl vyvinut drážďanským projektem operačního systému reálného času (DROPS) [1] s cílem umožnit programům „ výpočet v reálném čase “ a „sdíleným časem“ běžet na počítači paralelně a současně. .
L 4 Linux také umožňuje vzdálenou instalaci hypervizorů jako Xen a KVM . Je však třeba poznamenat, že cíle projektu a koncepce L4 a Xen jsou odlišné.
L 4 Android je fork L 4 Linux pokrývající změny Linuxu na cestě k Androidu . Jedná se o společný projekt skupiny operačních systémů Technické univerzity v Drážďanech a katedry telekomunikační bezpečnosti Technologického institutu v Berlíně.