L4Linux 2.6-2.6.23

L4Linux is a port of the Linux kernel to the L4 -kernel API.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
2.7/5 15
DEVELOPED BY:
L4Linux Team at the University of Dres...
HOMEPAGE:
os.inf.tu-dresden.de
CATEGORY:
ROOT \ System \ Operating Systems \ Kernels
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
Fiasco

What's New in This Release:

Currently runs on L4Env and is based on Linux 2.6.23.

Last updated on January 5th, 2008

#Linux kernel #L4 ?-kernel API #?-kernel applications #Linux #kernel #L4 #?-kernel

Add your review!

SUBMIT