Launch of L4Linux

Adam Lackorzynski adam at
Mon Jul 22 21:24:44 CEST 2013

On Mon Jul 22, 2013 at 15:10:34 +0200, Maximin Coste wrote:
> 2013/7/18 Adam Lackorzynski <adam at>:
> >> What does that mean ? I also have to say that I use the ramdisk.rd from
> >> the official website
> >> (, is
> >> this correct ?
> > Just use the 'log' outside of caps and make that 'log = L4.Env.log',
> > then the input in L4Linux should work.
> Now it complains about /bin/sh missing as init argument.
> Does TUDO ramdisk doesn't provide an /bin/sh interpretor ?
> Do I have to use solutions like BusyBox ?

Principally you can take whatever ramdisk you like to use.
Concerning the provided ramdisk, it contains a busybox and also a proper
/bin/sh link/binary. I'm not sure what's the difference to your previous
run. Maybe you could copy the relevant output here to have a look.

Adam                 adam at

More information about the l4-hackers mailing list