Hello,
I tried to run L4Linux + Fiasco on a Freescale i.mx 6 Sabre SD board.
The L4Linux is started but it stops at loading the ramdisk, as shown in
the debug messages below.
Does someone has an idea of what might be wrong.
Thank you very much in advance.
Best regards,
Mahdi
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?
...
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
