l4linux based distro
adam at os.inf.tu-dresden.de
Fri Aug 19 01:06:37 CEST 2005
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
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 adam at os.inf.tu-dresden.de
More information about the l4-hackers