L4Linux is a port of the Linux kernel to the L4 µ-kernel API.
Version: 2.6-2.6.23L4Linux is a port of the Linux kernel to the L4 µ-kernel API. It is a (para-)virtualized Linux running on top of a hypervisor, completely without privileges if wanted.
Operating System: Linux
L4Linux runs in user-mode on top of the µ-kernel, side-by-side with other µ-kernel applications such as real-time components. L4Linux is binary-compatible with the normal Linux/x86 kernel and can be used with any PC-based Linux distribution.
· L4 development environment
What's New in This Release:
· Currently runs on L4Env and is based on Linux 2.6.23.