L4Linux

L⁴Linux je varianta operačního systému Linux která je upravená do té míry, že může běžet virtualizovaně na L4 (konkrétně Fiasco.OC). L4 je mikrojádro a operační systém L⁴Linux spouští služby. L⁴Linux 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

Vyvíjí	Dresden Real-Time Operating System Project
Rodina OS	Unix-like a další
Druh	Svobodný software
Aktuální verze	6.13 / 1. března 2025[1][2][3]
Podporované platformy	x86, ARM, MIPS, RISC-V[2]
Typ jádra	upravené modulární monolitické jádro - Linux společně s mikrojádrem Fiasco.OC (viz. L4)[2]
Programovací jazyk	C
Licence	GNU General Public License
Stav	aktivní
Oficiální web	L4Linux (anglicky)

L⁴Linux je vyvíjen Real-Time Operating System Project Dresden (DROPS) s cílem umožnit sdílení strojového času programů v reálném čase, a spouštět je na počítači současně, ve stejnou dobu.

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

L4Android

L⁴Android^[4] 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ředsedy pro bezpečnost v odvětví telekomunikací Technické univerzitě Berlín.