exception while running L4linux on raspberry pi 2

[vmc doe]

Hi Adam/l4-hackers,

 I tried to build l4+l4Re+l4linux for raspberry pi 2.
The build was successful, but when I tried to run this in qemu I am getting
the following error.
Could you pls help me to fix this error?
I am new to L4 and L4Re and would like to try out some virtualization
options with L4 Microkernel.
Could you pls suggest some initial modules or portions where I can start
with.

Regards
vmc

L4 Bootstrapper
  Build: #3 Mon Dec 11 15:24:01 IST 2017, 4.8.3 20140303 (prerelease)
  Scanning up to 512 MB RAM, starting at offset 32MB
  Memory size is 512MB (00000000 - 1fffffff)
  RAM: 0000000000000000 - 000000001fffffff: 524288kB
  Total RAM: 512MB
  Scanning fiasco
  Scanning sigma0
  Scanning moe
  Moving up to 8 modules behind 1100000
  moving module 02 { 1823000-18544df } -> { 1914000-19454df } [201952]
  moving module 01 { 1811000-1822373 } -> { 1902000-1913373 } [70516]
  moving module 00 { 1786000-1810e23 } -> { 1877000-1901e23 } [568868]
  moving module 07 { 1486000-1785fff } -> { 1577000-1876fff } [3145728]
  moving module 06 { 108c000-148547f } -> { 117d000-157647f } [4166784]
  moving module 05 { 102a000-108b717 } -> { 111b000-117c717 } [399128]
  moving module 04 { 1010000-10294a3 } -> { 1101000-111a4a3 } [103588]
  moving module 03 { 100f000-100f12d } -> { 1100000-110012d } [302]
  Loading fiasco
  Loading sigma0
  Loading moe
  find kernel info page...
  found kernel info page (via ELF) at 2000
Regions of list 'regions'
    [     1000,      1a3f] {      a40} Kern   fiasco
    [     2000,     9afff] {    99000} Kern   fiasco
    [    9b000,     9b137] {      138} Root   mbi_rt
    [    e0000,     e9ec3] {     9ec4} Sigma0 sigma0
    [    f0000,     f6177] {     6178} Sigma0 sigma0
    [   140000,    169e37] {    29e38} Root   moe
    [   170000,    18242b] {    1242c} Root   moe
    [  1000000,   100e573] {     e574} Boot   bootstrap
    [  1100000,   1876fff] {   777000} Root   Module
  found kernel options (via ELF) at 3000
  Sigma0 config    ip:000e0100 sp:00000000
  Roottask config  ip:00140250 sp:00000000
  Starting kernel fiasco at 0000120c
Hello from Startup::stage2
ARM generic timer: freq=62500000 interval=62500 cnt=5558234
SERIAL ESC: allocated IRQ 57 for serial uart
Not using serial hack in slow timer handler.
Welcome to L4/Fiasco.OC!
L4/Fiasco.OC microkernel on arm
Rev: unknown compiled with gcc 4.8.3 20140303 (prerelease) for Broadcom
2836    []
Build: #2 Mon Dec 11 14:06:49 IST 2017

Calibrating timer loop... done.
MDB: use page size: 20
MDB: use page size: 12
SIGMA0: Hello!
  KIP @ 2000
  allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:0;fff]
[4:9b000;9bfff]
[0:9c000;dffff]
[0:ea000;effff]
[0:f7000;13ffff]
[4:140000;169fff]
[0:16a000;16ffff]
[4:170000;182fff]
[0:183000;10fffff]
[4:1100000;1876fff]
[0:1877000;1effffff]
IOMEM:----------------------
[0:20000000;ffffffff]
MOE: Hello world
MOE: found 499336 KByte free memory
MOE: found RAM from 9b000 to 1f000000
MOE: allocated 495 KByte for the page array @0x183000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:103000]
MOE: rwfs name space cap -> [C:105000]
  BOOTFS: [1100000-110012e] [C:107000] l4lx.cfg
  BOOTFS: [1101000-111a4a4] [C:109000] l4re
  BOOTFS: [111b000-117c718] [C:10b000] ned
  BOOTFS: [117d000-1576480] [C:10d000] vmlinuz
  BOOTFS: [1577000-1877000] [C:10f000] ramdisk-arm.rd
MOE: cmdline: moe rom/l4lx.cfg
MOE: Starting: rom/ned rom/l4lx.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
L4Re: unhandled exception: pc=0x1029198 (pfa=205a48)
L4Re: Global::l4re_aux->ldr_flags=0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20171215/fd85ed6c/attachment.html>