Documentation for L4Linux/L4Env

Adam Lackorzynski adam at
Thu Jan 11 22:45:38 CET 2007

On Thu Jan 11, 2007 at 17:28:57 +0100, Christian, Martin, OPEE45 wrote:
> is there some documentation on the L4Linux source code? A kind of
> what-does-what? I've seen L4Linux has been ported to ARM? Is there a
> porting guide? HowTo? Wiki? Something more than C or assembler?

There's nothing really written down, maybe the KMB lecture slides are
somehow helpful. As there are two architectures adding a third should be
much easier than adding the second one. You should have some good
understanding of Linux internals though, and should be able to
understand what the important code does. Besides that you can of course
ask questions and I can try to answer them.
> How much has L4Linux still in common with UML? Which parts were used and
> where are they now?

Nothing, L4Linux never had anything in common with UML code wise.

Adam                 adam at

More information about the l4-hackers mailing list