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.

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.

L⁴Android^[5] 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.

V tomto článku byl použit překlad textu z článku L4Linux na anglické Wikipedii.

• (anglicky) L4Re -- The L4Re Operating System Framework. l4re.org [online]. [cit. 2024-03-05]. Dostupné online. 

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.