L4Linux

operační systém

L4Linux 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 L4Linux spouští služby. 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
VyvíjíDresden Real-Time Operating System Project
Rodina OSUnix-like a další
DruhSvobodný software
Aktuální verze6.13 / 1. března 2025[1][2][3]
Podporované platformyx86, ARM, MIPS, RISC-V[2]
Typ jádraupravené modulární monolitické jádro - Linux
společně s mikrojádrem Fiasco.OC (viz. L4)[2]
Programovací jazykC
LicenceGNU General Public License
Stavaktivní
Oficiální webL4Linux (anglicky)

L4Linux 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.

L4Linux 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

editovat

L4Android[4] je fork L4Linuxu 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.

Reference

editovat

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

  1. L4Linux. l4linux.org [online]. [cit. 2024-12-09]. Dostupné online. 
  2. a b c L4Re -- The L4Re Operating System Framework. os.inf.tu-dresden.de [online]. [cit. 2024-12-09]. Dostupné online. 
  3. The Fiasco microkernel - Overview. web.archive.org [online]. 2022-01-19 [cit. 2024-12-09]. Dostupné online. 
  4. L4Android [online]. l4android.org, 2012-08-28. Dostupné online. 

Externí odkazy

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