l4linux based distro

Adam Lackorzynski 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
> 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list