L4Linux without libloader?

[Daniel Vandersee]

Hi there,

is it possible to compile L4Linux without the need of libloader.s.so (e.g. by
using other libs) to have it statically linked?

Thanks,
Daniel