In Karlsruhe we stopped supporting L4Linux in favor of our previrtualization http://l4ka.org/projects/virtualization/afterburn/ 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