Snapshot 2013123012 possible broken for ARM9 & l4linux?

[Martin Schröder]

When I compile the latest l4re-snapshot-2013123021 for ARM Platform 
(arm-rv-arm9 / Realview ARM9) and run it on qemu (or a real hardware), 
it stops here:


l4linux | libio: Warning: Query of 'vbus' failed!
l4linux | PH  0 (t:        1) offs=00008000 vaddr=02000000 vend=02362f1c
l4linux |                     phys=02000000 ephys=02362f1c
l4linux |                     f_sz=002de3b6 memsz=00362f1c flgs=rwx
l4linux | PH  1 (t:        4) offs=002a23ec vaddr=0229a3ec vend=0229a410
l4linux |                     phys=0229a3ec ephys=0229a410
l4linux |                     f_sz=00000024 memsz=00000024 flgs=r-x
l4linux | PH  2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000
l4linux |                     phys=00000000 ephys=00000000
l4linux |                     f_sz=00000000 memsz=00000000 flgs=rwx
l4linux | Starting binary at 0x20002a8, argc=7 argv=0x80007f8c 
*argv=0xb1007ff0 argv0=rom/vmlinuz.arm
l4linux | External resolver is at 0xa800078c
l4linux | ======> L4Linux starting... <========
l4linux | Linux version 3.12.0-l4 (mschroeder at vm-ms) (gcc version 4.6.2 
(OSELAS.Toolchain-2011.11.3) ) #1 Tue Jan 14 16:44:06 CET 2014
l4linux | Binary name: rom/vmlinuz.arm
l4linux |    This is an AEABI build.
l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 
l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/bin/sh
l4linux | CPU mapping (l:p)[1]: 0:0
l4linux | Image: 02000000 - 02400000 [4096 KiB].
l4linux | Areas: Text:     02000000 - 022b8000 [2784kB] (a bit longer)
l4linux |        Data:     022b8000 - 022d9200 [132kB]
l4linux |        Initdata: 0229b000 - 022b723c [112kB]
l4linux |        BSS:      022de3b6 - 02362f1c [530kB]
l4linux | Device scan:
l4linux | Device scan done.
l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, 
v:b3000c00, sp:022b9fa4)
l4linux | main thread will be 413
l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232
l4linux | section-with-init: Virt: 0x2000000 to 0x2362f1b [3467 KiB]
l4linux | section-with-init: Phys: 0x00250000 to 0x005b2f1b, [3467 KiB]
l4linux | Main thread running, waiting...
l4linux | L4x: Memory size: 64MB
l4linux | L4x: Setting superpages for main memory
l4linux | L4x: Adjusted memory start: 02000000
l4linux |     Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB]
l4linux |     Main memory: Phys: 0x01900000 to 0x058fffff, [65536 KiB]
l4linux | l4x: vmalloc area: 06400000 - 0e400000
l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232
l4linux |            text: Virt: 0x2000000 to 0x2362f1b [3467 KiB]
l4linux |            text: Phys: 0x00250000 to 0x005b2f1b, [3467 KiB]
l4linux | Non-resolvable page fault at 51, ip 20804cc.
l4linux | Page fault (non-resolved): pfa=51 pc=20804cc
l4linux | Non-resolvable page fault at 56, ip 20804cc.
l4linux | panic: going to sleep forever, bye


The previous snapshot 2013091917 worked fine.



Martin