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
On Fri Aug 19, 2005 at 08:37:20 +1000, PhilT wrote:
Is L4Linux good enough to be included in a standard Linux distro?
Not that I know of.
I was wondering if anyone was planning to do so?
I don't know of any plans.
I am trying to compile L4Linux under Ubuntu but am getting lots of error messages during the compile.
Is your compiler gcc4? Our default user land code is not yet ready for gcc4 (i.e. we're working on it).
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?
We don't have any current binaries online right now. I should probably update our demo stuff sometime, it's gotten a bit old. Then there would be binaries but I doubt they would work everywhere out of the box. Achieving this is some bigger effort I guess.
Adam
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
l4-hackers@os.inf.tu-dresden.de
-
Adam Lackorzynski -
PhilT -
Volkmar Uhlig