On Mon Jul 22, 2013 at 15:10:34 +0200, Maximin Coste wrote:
2013/7/18 Adam Lackorzynski adam@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