Re: L4Linux without libloader?