L ⁴ Linux -L⁴Linux

L ⁴ Linux
Sviluppatore	Progetto del sistema operativo in tempo reale di Dresda
Scritto in	C
Famiglia del sistema operativo	Kernel Linux
Stato di lavoro	attuale
Modello di origine	Open source
Versione iniziale	5 ottobre 1997 ; 23 anni fa
Ultima uscita	5.11/dicembre 2020 ; 7 mesi fa
Piattaforme	IA-32 , x86-64 , ARM A
Tipo di kernel	Monolitico su microkernel
Licenza	Licenza pubblica generale GNU
Sito ufficiale	l4linux .org

L ⁴ Linux è una variante del kernel per sistemi operativi , che viene modificato nella misura in cui può funzionare paravirtualizzata su un L4 microkernel , dove il L4Linux kernel gestisce un servizio . L4Linux non è un fork ma una variante ed è binario compatibile con il kernel Linux x86 , quindi può sostituire il kernel Linux di qualsiasi distribuzione Linux .

L ⁴ Linux è stato sviluppato dal progetto del sistema operativo in tempo reale di Dresda (DROPS) per consentire l'esecuzione contemporanea di programmi in tempo reale e di condivisione del tempo su un computer in parallelo.

L ⁴ Linux consente anche di configurare un ambiente virtualizzato vagamente simile a Xen o alla macchina virtuale basata su kernel (KVM), ma esistono alcune differenze significative tra l'intento di Xen e L ⁴ Linux.

L4Android

L4Android è un fork di L ⁴ Linux che comprende le modifiche al kernel Linux della linea principale per Android . Si tratta di un progetto congiunto del gruppo dei sistemi operativi dell'Università di tecnologia di Dresda e della cattedra per la sicurezza nelle telecomunicazioni dell'Istituto di tecnologia di Berlino .

Questo articolo relativo a Linux è solo un abbozzo . Puoi aiutare Wikipedia espandendola .