Launch of L4Linux

[Adam Lackorzynski]

On Mon Jul 22, 2013 at 15:10:34 +0200, Maximin Coste wrote:
> 2013/7/18 Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >> What does that mean ? I also have to say that I use the ramdisk.rd from
> >> the official website
> >> (http://os.inf.tu-dresden.de/L4/LinuxOnL4/download/drops-rd.rd), 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/