L4Linux direct access

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Feb 8 13:40:00 CET 2012


On Tue Feb 07, 2012 at 11:28:12 +0100, Riccardo Cecolin wrote:
> I tried with the drops-rd.rd filesystem image found here:
> http://os.inf.tu-dresden.de/L4/LinuxOnL4/download/drops-rd.rd and with a
> debootstrap generated one of debian stable and they both hang there. The
> same images work fine if I boot l4linux with fbdrv and mag.  Everything 32
> bit, bash is dynamically linked on the drops image as well as on the one i
> created. Libraries are in their place and /dev/console is there.
> If instead of /bin/bash i let the default init process start I get a
> segfault at 405f24 (dispatch.c) and then repeated segfaults in 4109d5
> (where i suppose it is trying to dump the stack).

The way the output works should not make a difference here in this
regard, so hmm. Could you add console=ttyLv0 to Linux cmdline to get
more output on the serial?

> I have been able to see this output poking with the VCPU option in the
> l4linux advanced configuration.

With it on or off?

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list