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