L4Linux direct access

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Feb 6 23:32:44 CET 2012


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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list