ARM L4Linux Kernel Panic

Wesley Miaw wesley at
Tue Jan 4 01:04:01 CET 2011


I am attempting to run the L4linux ARM build from the Fiasco + L4Re +
L4linux snapshot l4re-snapshot-2010111519.tar.bz2 but L4linux is kernel
panicking during startup. Here's my build information and a snippet of the
error output. I'd appreciate any help trying to figure out what's going
wrong and resolving the problem.


make setup
  -> selected ARM realview
cd obj/l4linux/arm-up
make arm_defconfig
make menuconfig
  -> set L4 build path obj/l4/arm-rv
  -> set cross compile prefix arm-none-linux-gnueabi-
  -> turned on ARM EABI + old EABI binaries options
cd obj/l4/arm-rv
make image E="L4linux ARM"
qemu-arm-l4 images/bootstrap.elf

Got through to Ned: loading file: 'rom/l4lx.cfg' without any apparent
issues. L4linux started, but got a bunch of bad page errors:

BUG: Bad page state in process swapper  pfn:0431c
page:00488380 count:4752264 mapcount:0 mapping:00488390 index:0x488390
page flags: 0x488380(slab|owner_priv_1|arch_1|tail|buddy|mlocked)

These went through, and then it looked like the kernel was proceeding, but

l4lx_irq_init: creating IRQ thread on cpu 0
irq_thread: Starting IRQ thread on CPU 0
Console: colour dummy device 80x30
console [ttyLv0] enabled
Calibrating delay loop... 161.79 BogoMIPS (lpj=808960)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
l4linux | EXvcada: pfa=1 pc=12eda8
l4linux | l4x_setup_die_utcb 2863
Internal error: Boom!: 410017 [#1]
last sysfs file:
Modules linked in:
CPU: 0    Tainted: G    B        (2.6.36-l4 #1)
PC is at __wake_up_common+0x2c/0x98
LR is at __wake_up+0x40/0x50
pc : [<0012eda8>]    lr : [<0012f1c0>]    psr: 0000001f
sp : 0035dea0  ip : ffffffff  fp : 0035decc
r10: 00000003  r9 : 0035def8  r8 : 00000000
r7 : 00488208  r6 : 00000001  r5 : 0035def8  r4 : 00000001
r3 : 00000000  r2 : 00000001  r1 : 00000003  r0 : ffffffff
Flags: nzcv  IRQs on  FIQs on  Mode SYS_32  ISA ARM  Segment kernel
Process swapper (pid: 0, stack limit = 0x0035c270)
Stack: (0x0035dea0 to 0x0035e000)
dea0: 000000d0 00000001 03c00dd0 00000001 0035def8 00000001 00000003 00488208
dec0: 00000000 00000000 0035def4 0012f1c0 0035def8 00000001 00387508 03c00dd0
dee0: 00368528 0035df08 00368528 002da0e8 00000000 0014d164 03c00edc 00000003
df00: 0035df08 001dbd2c 00000000 0e4e1c02 62656572 00400000 0420c400 001de490
df20: 0420e9e0 00368558 0032d1fc 00400000 00000000 00195454 0420e9e0 00000000
df40: 00000000 00388818 00000000 00000000 00000000 0010abec 00000000 00109da4
df60: 00387648 00001000 00003dcb 00109dc8 00000000 001097e4 00000000 00000000
df80: 00000000 003874f0 00003dcb 00109a98 00000000 0038769c 00000001 00109f18
dfa0: 00385d94 00000001 004884c0 00100628 001000d0 0037809c 0040f000 00114fec
dfc0: 00000000 0037809c 0040f000 00102b10 346c0000 67752078 2d657461 00000030
dfe0: 00000000 00000000 00000000 00000000 0035dff4 0040f000 00000000 00000000
[<0012eda8>] (__wake_up_common+0x2c/0x98) from [<0012f1c0>]
[<0012f1c0>] (__wake_up+0x40/0x50) from [<0014d164>]
[<0014d164>] (__wake_up_bit+0x28/0x30) from [<001dbd2c>]
[<001dbd2c>] (sysfs_get_inode+0x10c/0x1a0) from [<001de490>]
[<001de490>] (sysfs_get_sb+0xd4/0x190) from [<00195454>]
[<00195454>] (vfs_kern_mount+0x54/0x120) from [<0010abec>]
[<0010abec>] (sysfs_init+0x60/0xbc) from [<00109dc8>] (mnt_init+0x8c/0x1ac)
[<00109dc8>] (mnt_init+0x8c/0x1ac) from [<00109a98>]
[<00109a98>] (vfs_caches_init+0xe0/0x110) from [<00100628>]
[<00100628>] (start_kernel+0x22c/0x294) from [<00102b10>]
[<00102b10>] (l4x_linux_startup+0x1d0/0x208) from [<00000000>] (0x0)
Code: e1570000 e50b2028 e1a08003 e59b9004 (e41c400c)
---[ end trace 1b75b31a2719ed1c ]---
Kernel panic - not syncing: Attempted to kill the idle task!
[<00125b4c>] (unwind_backtrace+0x0/0xf0) from [<002d1130>] (panic+0x58/0x178)
[<002d1130>] (panic+0x58/0x178) from [<00139b2c>] (do_exit+0x5c4/0x600)
[<00139b2c>] (do_exit+0x5c4/0x600) from [<0011ee9c>] (die+0x2a8/0x384)
[<0011ee9c>] (die+0x2a8/0x384) from [<00000000>] (0x0)
panic: going to sleep forever, bye
l4linux | panic: going to sleep forever, bye

Wesley Miaw
wesley at

More information about the l4-hackers mailing list