Re: Launch of L4Linux
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
On Mon Jul 22, 2013 at 15:10:34 +0200, Maximin Coste wrote: > 2013/7/18 Adam Lackorzynski <[email protected]>: > >> 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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/