L4Linux iconL4Linux 2.6-2.6.23

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
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, 20:57 GMT
price:
FREE!
developed by:
L4Linux Team at the University of Dres...
license type:
GPL (GNU General Public License) 
category:
ROOT \ System \ Operating Systems \ Kernels

FREE!

In a hurry? Add it to your Download Basket!

user rating 15

UNRATED
2.7/5
 

0/5

Add your review!

SUBMIT