6 Sabre SD board.
the debug messages below.
Does someone has an idea of what might be wrong.
Thank you very much in advance.
L4 Bootstrapper
Build: #80 Wed May 27 18:22:31 CEST 2015, 4.8.3 20140320 (prerelease)
Scanning up to 256 MB RAM, starting at offset 32MB
Memory size is 256MB (10000000 - 1fffffff)
RAM: 0000000010000000 - 000000001fffffff: 262144kB
Total RAM: 256MB
Scanning fiasco
Scanning sigma0
Scanning moe
Moving up to 10 modules behind 11100000
moving module 02 { 118aa000-118e363f } -> { 1199a000-119d363f } [235072]
moving module 01 { 118a0000-118a938b } -> { 11990000-1199938b } [37772]
moving module 00 { 11848000-1189fb17 } -> { 11938000-1198fb17 } [359192]
moving module 09 { 11548000-11847fff } -> { 11638000-11937fff } [3145728]
moving module 08 { 111d6000-11547497 } -> { 112c6000-11637497 } [3609752]
moving module 07 { 111d5000-111d50bc } -> { 112c5000-112c50bc } [189]
moving module 06 { 1107e000-111d446f } -> { 1116e000-112c446f } [1401968]
moving module 05 { 1107d000-1107d17b } -> { 1116d000-1116d17b } [380]
moving module 04 { 1102a000-1107cc1f } -> { 1111a000-1116cc1f } [338976]
moving module 03 { 11010000-11029473 } -> { 11100000-11119473 } [103540]
Loading fiasco
Loading sigma0
Loading moe
find kernel info page...
found kernel info page at 0x10002000
Regions of list 'regions'
[ 10000000, 1000015f] { 160} Root mbi_rt
[ 10001000, 10001aff] { b00} Kern fiasco
[ 10002000, 10066fff] { 65000} Kern fiasco
[ 10090000, 10096edf] { 6ee0} Sigma0 sigma0
[ 10098000, 1009e177] { 6178} Sigma0 sigma0
[ 10140000, 10171d77] { 31d78} Root moe
[ 10178000, 101934ab] { 1b4ac} Root moe
[ 11000000, 1100f58f] { f590} Boot bootstrap
[ 11100000, 11937fff] { 838000} Root Module
API Version: (87) experimental
Sigma0 config ip:10090100 sp:00000000
Roottask config ip:10140260 sp:00000000
Starting kernel fiasco at 100012c8
Number of IRQs available at this GIC: 160
FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
L2: ID=410000c7 Type=9e340340 Aux=02070000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64
GIC: Switching IRQ 58 to secure
SERIAL ESC: allocated IRQ 58 for serial uart
Not using serial hack in slow timer handler.
Welcome to Fiasco.OC (arm)!
L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: rexported compiled with gcc 4.8.3 for i.MX6 []
Build: #14 Wed Apr 29 13:37:03 CEST 2015
GIC: Switching IRQ 29 to secure
Calibrating timer loop... done.
MDB: use page size: 20
MDB: use page size: 12
SIGMA0: Hello!
KIP @ 10002000
allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[4:10000000;10000fff]
[0:10067000;1008ffff]
[0:10097000;10097fff]
[0:1009f000;1013ffff]
[4:10140000;10171fff]
[0:10172000;10177fff]
[4:10178000;10193fff]
[0:10194000;110fffff]
[4:11100000;11937fff]
[0:11938000;1effffff]
IOMEM:----------------------
[0:0;fffffff]
[0:20000000;ffffffff]
MOE: Hello world
MOE: found 236564 KByte free memory
MOE: found RAM from 10000000 to 1f000000
MOE: allocated 240 KByte for the page array @0x1009f000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
BOOTFS: [11100000-11119474] [C:503000] l4re
BOOTFS: [1111a000-1116cc20] [C:504000] ned
BOOTFS: [1116d000-1116d17c] [C:505000] l4lx.cfg
BOOTFS: [1116e000-112c4470] [C:506000] io
BOOTFS: [112c5000-112c50bd] [C:507000]
arm-rv.io BOOTFS: [112c6000-11637498] [C:508000] vmlinuz.arm
BOOTFS: [11638000-11938000] [C:509000] ramdisk-arm.rd
MOE: cmdline: moe rom/l4lx.cfg
MOE: Starting: rom/ned rom/l4lx.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
Ned: loading file: 'rom/l4lx.cfg'
l4linux | libio: Warning: Query of 'vbus' failed!
l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=023defa8
l4linux | phys=02000000 ephys=023defa8
l4linux | f_sz=00359394 memsz=003defa8 flgs=rwx
l4linux | PH 1 (t: 4) offs=0031afe0 vaddr=02312fe0 vend=02313004
l4linux | phys=02312fe0 ephys=02313004
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 0x20002b0, argc=6 argv=0xafff4f8c *argv=0xb1007ff0 argv0=rom/vmlinuz.arm
l4linux | External resolver is at 0xa8000788
l4linux | ======> L4Linux starting... <========
l4linux | Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #1 Wed May 27 18:04:14 CEST 2015
l4linux | Binary name: rom/vmlinuz.arm
l4linux | This is an AEABI build.
l4linux | Linux kernel command line (5 args): mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000
l4linux | CPU mapping (l:p)[1]: 0:0
l4linux | Image: 02000000 - 02400000 [4096 KiB].
l4linux | Areas: Text: 02000000 - 02332000 [3272kB] (a bit longer)
l4linux | Data: 02332000 - 023543a0 [136kB]
l4linux | Initdata: 02314000 - 02331024 [116kB]
l4linux | BSS: 02359394 - 023defa8 [535kB]
l4linux | Device scan:
l4linux | Device scan done.
l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00, sp:02333fa4)
l4linux | main thread will be 413
l4linux | l4x_register_pointer_section: addr = 02000000 size = 4059136
l4linux | section-with-init: Virt: 0x2000000 to 0x23defa7 [3963 KiB]
l4linux | section-with-init: Phys: 0x1025a000 to 0x10638fa7, [3963 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: 0x11a00000 to 0x159fffff, [65536 KiB]
l4linux | l4x: vmalloc area: 06400000 - 0e400000
l4linux | l4x_register_pointer_section: addr = 02000000 size = 4059136
l4linux | text: Virt: 0x2000000 to 0x23defa7 [3963 KiB]
l4linux | text: Phys: 0x1025a000 to 0x10638fa7, [3963 KiB]
l4linux | Loading: rom/ramdisk-arm.rd
l4linux | INITRD: Size of RAMdisk is 3072KiB
l4linux | RAMdisk from 00002000 to 00302000 [3072KiB]
l4linux | 'swp(b)' instruction at 0224f728 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
l4linux | 'swp(b)' instruction at 02161dd4 and faulting.
l4linux | Linux built for the wrong ARM version?
...