L4Linux without L4Loader

[Bjoern Doebel]

Hi,

> I didn't know about that patch. I just tried it and with some
> modifications it builds fine. Thank you.

Cool. :)

> But additionally I want to load l4linux with our loader. As Christian
> Helmuth stated in that thread, the loader has to emulate(?) an
> L4env-environment in order to do that. What does that mean for our loader?

Basically, the Loader sets up an L4Env infopage that contains some 
information about the application's environment. (See 
l4/pkg/l4env/include/env.h). I think you will be able to find the few 
locations where this is done in our Loader. If you have questions, feel 
free to ask.

Regards,
Bjoern