Hi, 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?
How much has L4Linux still in common with UML? Which parts were used and where are they now?
Best,
Martin.