L4LinuxL4Linux is a port of the Linux kernel to the L4 -kernel API. | |
Download |
L4Linux Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- L4Linux Team at the University of Dresden
- Publisher web site:
- http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml
L4Linux Tags
L4Linux Description
L4Linux is a port of the Linux kernel to the L4 -kernel API. L4Linux 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.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.Requirements:· L4 development environment· FiascoWhat's New in This Release:· Currently runs on L4Env and is based on Linux 2.6.23.
L4Linux Related Software