I had to disable the "use vCPU execution model" to get that output. I added console=ttyLv0 and enabled support for it into the l4linux config, then with bash as init i could see "allow_cli: allow_cli: No such file or directory" in the log. So i removed it from the command line and now i get a working bash! After mounting /proc lspci works fine too.
When trying with the default init i never get the login prompt, it freezes after "No user config loaded!", so something is still wrong (this with drops-rd.rd). If i load the other root image with an rc.local which executes "startx" i get the following error: xf86EnableIOPorts: failed to set IOPL for I/O (Operation not permitted). A previous mail in this list states that this is solved with that "allow_cli" parameter, but I need now some advice about where to put it, assuming that it is still a valid solution.
Thank you for your help. Riccardo
On Wed, Feb 8, 2012 at 1:40 PM, Adam Lackorzynski <adam@os.inf.tu-dresden.de
wrote:
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
Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers