how can a l4 task load l4linux?

Alexander Arlt alexander.arlt at
Tue Feb 26 18:52:55 CET 2008

hi all,

i try to write a l4 task which can dynamically load / boot
a l4linux. at the moment i using fiasco ux
which parses a loader configuration file to boot l4linux.
the question is, how can i do this at runtime, without such a 
configuration file.

it seems so, that this can be done by using some internal l4 loader stuff.
i looked at the l4 loader reference manual, but its a bit hard to reason 
how this
can be realized. maybe a small example would be really nice :)

can anyone help me?


More information about the l4-hackers mailing list