Hi,
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