L4 Linux es una variante del kernel Linux para sistemas operativos , que se altera hasta el punto de poder ejecutarse paravirtualizado en un microkernel L4 , donde el kernel L4Linux ejecuta un servicio . L4Linux no es un fork sino una variante y es compatible binariamente con el kernel x86 de Linux , por lo que puede reemplazar al kernel Linux de cualquier distribución Linux .
L 4 Linux está siendo desarrollado por el Proyecto de Sistema Operativo en Tiempo Real de Dresde (DROPS) para permitir que programas en tiempo real y de tiempo compartido se ejecuten en una computadora en paralelo al mismo tiempo.
L 4 Linux también permite configurar un entorno virtualizado vagamente similar a Xen o Kernel-based Virtual Machine (KVM), pero existen algunas diferencias significativas [ se necesita más explicación ] entre la intención de Xen y L 4 Linux.
L4Android [1] es una bifurcación de L 4 Linux que engloba las modificaciones del núcleo Linux principal para Android . Es un proyecto conjunto del grupo de sistemas operativos de la Universidad Tecnológica de Dresde y la cátedra de Seguridad en Telecomunicaciones de la Universidad Técnica de Berlín .