L4Linux

L⁴Linux je varianta operačního systému Linux která je do té míry, že může běžet virtualizovaně na L4. L4 je mikrojádro a operační systém L4Linux spouští službu. L4Linux není fork, ale varianta, a je binárně kompatibilní se systémem Linux/x86, který může nahradit Linuxové jádro libovolné Linuxové distribuce.

L4Linux je vyvíjen Real-Time Operating System Project Dresden (DROPS) s cílem umožnit v reálném čase a sdílení strojového času programy spustit na počítači paralelně ve stejnou dobu.

L4Linux také umožňuje nastavit virtualizované prostředí vzdáleně podobné Xenu a KVM, ale existuje několik důležitých rozdílů mezi Xenem a L4Linuxem.

L4Android

L4Android je fork L⁴Linuxu který zahrnuje změny do hlavní linie linuxového jádra pro operační systém Android. Jedná se o společný projekt skupiny operačních systémů v Technické univerzitě Drážďany a předsedou pro bezpečnost v odvětví telekomunikací Technické univerzitě Berlín.