In Karlsruhe we stopped supporting L4Linux in favor of our previrtualization effort. The idea is to have a single kernel image that runs on bare hardware as well as on L4 (and other hypervisors as well). That approach eliminates the need to specifically port, package, and test the Linux kernel. Instead you can just take a stock Linux and run it on L4.

- Volkmar

From: l4-hackers-bounces@os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] On Behalf Of PhilT
Sent: Thursday, August 18, 2005 6:37 PM
To: l4-hackers@os.inf.tu-dresden.de
Subject: l4linux based distro

Is L4Linux good enough to be included in a standard Linux distro?

I was wondering if anyone was planning to do so?

I am trying to compile L4Linux under Ubuntu but am getting lots of error messages during the compile. My lack of knowledge of Linux/L4 etc means it will probably be difficult to ever get this working. Does anyone have pre-compile binaries?

Many thanks

Rabbit