Hi,

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).
I have been able to see this output poking with the VCPU option in the l4linux advanced configuration.

Riccardo

...
Freeing unused kernel memory: 220k freed
l4linux | EX: 0: pc = 0041173a sp = 07829fac trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 079f9fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e13fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e17fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1bfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e13fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e17fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1bfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dd9fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1dfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1ffc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dd9fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1dfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e1ffc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e05fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e13fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dfdfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e05fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e11fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dfdfc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dfffc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06df9fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e19fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06dfffc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06df9fc8 trapno = 0xd err/pfa = 0x402
l4linux | EX: 0: pc = 0041173a sp = 06e19fc8 trapno = 0xd err/pfa = 0x402
l4linux | Page fault: addr = b69e097c pc = 00405f24 (ro)
l4linux | Non-resolvable page fault at b69e097c, ip 405f24.
l4linux | Page fault (non-resolved): pfa=b69e097c pc=405f24
l4linux | EX: 0: pc = 00405f24 sp = 06e1df58 trapno = 0xe err/pfa = 0xb69e097c r
l4linux | Non-resolvable page fault at b69e097c, ip 405f24.
Die message: Trap: 14
l4linux | Page fault: addr = b69e097c pc = 004109d5 (ro)
l4linux | Non-resolvable page fault at b69e097c, ip 4109d5.
l4linux | Page fault (non-resolved): pfa=b69e097c pc=4109d5
l4linux | EX: 0: pc = 004109d5 sp = 06e1def0 trapno = 0xe err/pfa = 0xb69e097c r
l4linux | Non-resolvable page fault at b69e097c, ip 4109d5.

src/l4linux/arch/l4/kernel/arch-x86/dispatch.c:395
405f21:    8b 4d 98                 mov    -0x68(%ebp),%ecx
405f24:    64 a1 0c 0e 82 00        mov    %fs:0x820e0c,%eax
405f2a:    8b 04 85 40 bf 7e 00     mov    0x7ebf40(,%eax,4),%eax
405f31:    c7 04 08 10 00 00 00     movl   $0x10,(%eax,%ecx,1)

src/l4linux/arch/l4/kernel/arch-x86/../../../x86/kernel/dumpstack.c:210
4109d5:    64 8b 15 0c 0e 82 00     mov    %fs:0x820e0c,%edx

bash: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.0.30, stripped
bash: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, stripped

ldd bash:
    linux-gate.so.1 => (0xb783c000)
    libncurses.so.5 => /lib/libncurses.so.5 (0xb77eb000)
    libdl.so.2 => /lib/i686/cmov/libdl.so.2 (0xb77e7000)
    libc.so.6 => /lib/i686/cmov/libc.so.6 (0xb76a0000)
    /lib/ld-linux.so.2 (0xb783d000)

On Mon, Feb 6, 2012 at 11:32 PM, Adam Lackorzynski <adam@os.inf.tu-dresden.de> wrote:

Hi,

On Mon Feb 06, 2012 at 18:29:37 +0100, Riccardo Cecolin wrote:
> I'm trying to make a l4linux system access the vga directly without mag,
> l4con or fbdrv. I compiled it using the default configuration with virtual
> pci bus enabled, x86-mp_vPCI_defconfig.
> I'm currently trying on qemu, i see that l4linux recognizes the pci devices
> and is able to mount the root fs from /dev/hda (i also tried with a ramdisk
> with same results) and loads the driver of the vga (vgaarb: device added:
> PCI:0000:00:01.0,decodes=io+mem,owns=io+mem,locks=none).
> But then i get a kernel panic because init (/bin/bash) exited (or didn't
> execute):
>
> l4linux | EX: 0: pc = 0041176a sp = 07829fac trapno = 0xd err/pfa = 0x402
> Kernel panic - not syncing: Attempted to kill init!
> Pid: 1, comm: bash Not tainted 3.0.0-l4-svn23 #35

> Call Trace:
> [<006e4a29>] panic+0x57/0x14b
> [<0042ddd1>] do_exit+0x601/0x6c0
> [<004839e2>] ? do_munmap+0x202/0x290
> [<0042df60>] ? sys_exit_group+0x20/0x20
> [<0042df73>] sys_exit+0x13/0x20
> [<00406b13>] l4x_user_dispatcher+0xdd3/0x22c0
> [<00409702>] l4_kernelinternal_execve+0x52/0xe0
> [<00400569>] in_kernel_int80_helper+0x9/0x20
> [<0041176c>] ? kernel_execve+0x1c/0x30
> [<004001b7>] run_init_process+0x17/0x20
> [<00400251>] init_post+0x91/0xb0
> [<007ec1d5>] kernel_init+0x10e/0x116
> [<007ec0c7>] ? parse_early_options+0x25/0x25
> [<00409a99>] kernel_thread_start+0x29/0x30

The excepion is completely normal, should be the exec for init/bash.
Looks like bash is exiting itself and as it's init, Linux stops. What's
on your 16MB disk? Is the bash statically linked? Or all shared libs
there? /dev/console there? Everything 32bits?

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