L4Linux
L4Linux er en variant av Linuxkjernen som er blitt endret slik at den kan kjøre virtualisert på mikrokjernen L4. L4Linux er ikke en fork, men en variant og er binærkompatibel med Linux/x86-Kern. Den kan derfor erstatte Linuxkjernen i en hvilken som helst Linuxdistribusjon.
Siste versjon er versjon 4.7 som ble lansert i august 2016.
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.