L4Linux

L4Linux est une variante du noyau Linux pour les systèmes d'exploitation , qui est modifiée dans la mesure où elle peut fonctionner de ^manière paravirtualisée sur un micro-noyau L4 , où le noyau L4Linux exécute un service . L4Linux n'est pas un fork mais une variante et est compatible binairement avec le noyau Linux x86 , il peut donc remplacer le noyau Linux de n'importe quelle distribution Linux .

L ⁴ Linux est développé par le Dresden Real-Time Operating System Project (DROPS) pour permettre aux programmes en temps réel et en temps partagé de s'exécuter sur un ordinateur en parallèle en même temps.

L ⁴ Linux permet également de configurer un environnement virtualisé vaguement similaire à Xen ou à la machine virtuelle basée sur le noyau (KVM), mais il existe quelques différences significatives entre l'intention de Xen et L ⁴ Linux.

L4Android est un fork de L ⁴ Linux qui englobe les modifications apportées au noyau Linux principal pour Android . Il s'agit d'un projet commun du groupe des systèmes d'exploitation de l' Université technique de Dresde et de la chaire de sécurité des télécommunications de l'Université technique de Berlin .