Hello Genode comunity, I'm trying port the yse5250 board to base-foc. I follow the guide proposed by Norman Feske and test the printf scenario, as shown in the serial output Fiasco.OC and servers run correctly, but when I try to run Genode throws an error.
L4 Bootstrapper
Build: #3 vie sep 4 09:10:02 CDT 2015, 4.9.2
Scanning up to 2047 MB RAM
Memory size is 2047MB (40000000 - bfefffff)
RAM: 0000000040000000 - 00000000bfefffff: 2096128kB
Total RAM: 2047MB
mod05: 41144000-41174530: genode/test-printf
mod04: 410ff000-41143c70: genode/init
mod03: 410fe000-410fe110: genode/config
mod02: 41094000-410fddec: genode/core
mod01: 41082000-41093368: sigma0
mod00: 41015000-4108195c: /home/waldo/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco
Moving up to 6 modules behind 41100000
moving module 00 { 41015000-4108195b } -> { 41260000-412cc95b } [444764]
moving module 01 { 41082000-41093367 } -> { 412cd000-412de367 } [70504]
moving module 02 { 41094000-410fddeb } -> { 412df000-41348deb } [433644]
moving module 03 { 410fe000-410fe10f } -> { 41175000-4117510f } [272]
moving module 04 { 410ff000-41143c6f } -> { 41176000-411bac6f } [281712]
moving module 05 { 41144000-4117452f } -> { 41100000-4113052f } [197936]
moving module 03 { 41175000-4117510f } -> { 41131000-4113110f } [272]
moving module 04 { 41176000-411bac6f } -> { 41132000-41176c6f } [281712]
Scanning /home/waldo/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco -serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x4100e000-0x4100e148]
Loading o/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco
Loading sigma0
Loading genode/core
find kernel info page...
found kernel info page at 0x40002000
Regions of list 'regions'
[ 40001000, 40001a3f] { a40} Kern o/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco
[ 40002000, 4007afff] { 79000} Kern o/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco
[ 400a0000, 400a5fdf] { 5fe0} Sigma0 sigma0
[ 400b0000, 400b617b] { 617c} Sigma0 sigma0
[ 41000000, 410143f7] { 143f8} Boot bootstrap
[ 4100e000, 4100e245] { 246} Root Multiboot info
[ 41100000, 41176c6f] { 76c70} Root Module
[ 80100000, 8024b63b] { 14b63c} Root genode/core
API Version: (87) experimental
Sigma0 config ip:400a0100 sp:41013de4
Roottask config ip:80100000 sp:00000000
Starting kernel o/genode-15-08/build/foc_yse5250/kernel/fiasco.oc/fiasco at 4000121c
Hello from Startup::stage2
Number of IRQs available at this GIC: 160
Cache config: ON
ID_PFR[01]: 00001031 00011011 ID_[DA]FR0: 02010555 00000000
ID_MMFR[04]: 10201105 20000000 01240000 02102211
Watchdog initialized
SERIAL ESC: allocated IRQ 84 for serial uart
Not using serial hack in slow timer handler.
\0x1b[1;32mWelcome to Fiasco.OC (arm)!
\0x1b[0;32mL4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: 7870838 compiled with gcc 4.9.2 for Samsung Exynos []
Build: #3 vie sep 4 09:09:57 CDT 2015
\0x1b[0m
Timer for CPU0 is at IRQ 152
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 40002000
allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:40000000;40000fff]
[0:4007b000;4009ffff]
[0:400a6000;400affff]
[0:400b7000;4100dfff]
[4:4100e000;4100efff]
[0:4100f000;410fffff]
[4:41100000;41176fff]
[0:41177000;800fffff]
[4:80100000;8024bfff]
[0:8024c000;beefffff]
IOMEM:----------------------
[0:0;3fffffff]
[0:bff00000;ffffffff]
KIP @ 40002000
magic: 4be6344c
version: 87024444
sigma0 esp: 41013de4 eip: 400a0100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 80100000
MBI @ 4100e000
mod[3] [41131000,41131110) config
mod[4] [41132000,41176c70) init
mod[5] [41100000,41130530) test-printf
:ram_alloc: Allocator 8023aec0 dump:
Block: [40000000,40001000) size=00001000 avail=00001000 max_avail=00001000
Block: [4007b000,400a0000) size=00025000 avail=00025000 max_avail=00025000
Block: [400a6000,400a601c) size=0000001c avail=00000000 max_avail=00025000
Block: [400a601c,400a6038) size=0000001c avail=00000000 max_avail=00000000
Block: [400a6038,400a6054) size=0000001c avail=00000000 max_avail=00009fac
Block: [400a6054,400b0000) size=00009fac avail=00009fac max_avail=00009fac
Block: [400b7000,400b701c) size=0000001c avail=00000000 max_avail=3ef89000
Block: [400b701c,4100e000) size=00f56fe4 avail=00f56fe4 max_avail=00f56fe4
Block: [4100f000,41100000) size=000f1000 avail=000f1000 max_avail=3ef89000
Block: [41177000,80100000) size=3ef89000 avail=3ef89000 max_avail=3ef89000
Block: [8024c000,bef00000) size=3ecb4000 avail=3ecb4000 max_avail=3ecb4000
=> mem_size=2127253504 (2028 MB) / mem_avail=2127253392 (2028 MB)
:region_alloc: Allocator 8023c030 dump:
Block: [00001000,20000000) size=1ffff000 avail=1ffff000 max_avail=1ffff000
Block: [30000000,40000000) size=10000000 avail=10000000 max_avail=1ffff000
Block: [40001000,40002000) size=00001000 avail=00001000 max_avail=1ffff000
Block: [40003000,4007b000) size=00078000 avail=00078000 max_avail=00078000
Block: [400a0000,400a6000) size=00006000 avail=00006000 max_avail=1ffff000
Block: [400b0000,400b7000) size=00007000 avail=00007000 max_avail=010f0000
Block: [bef00000,bfff0000) size=010f0000 avail=010f0000 max_avail=010f0000
=> mem_size=823611392 (785 MB) / mem_avail=823611392 (785 MB)
:io_mem: Allocator 8023b31c dump:
Block: [00000000,40000000) size=40000000 avail=40000000 max_avail=40000000
Block: [40001000,40002000) size=00001000 avail=00001000 max_avail=40000000
Block: [40003000,4007b000) size=00078000 avail=00078000 max_avail=00078000
Block: [400a0000,400a6000) size=00006000 avail=00006000 max_avail=00078000
Block: [400b0000,400b7000) size=00007000 avail=00007000 max_avail=410fffff
Block: [bef00000,ffffffff) size=410fffff avail=410fffff max_avail=410fffff
=> mem_size=2165858303 (2065 MB) / mem_avail=2165858303 (2065 MB)
:io_port: Allocator 8023b778 dump:
:irq: Allocator 8023bbd4 dump:
Block: [00000000,00000298) size=00000298 avail=00000298 max_avail=00000298
=> mem_size=664 (0 MB) / mem_avail=664 (0 MB)
:rom_fs: Rom_fs 8023c8e4 dump:
Rom: [41132000,41176c70) init
Rom: [41131000,41131110) config
Rom: [40002000,40003000) l4v2_kip
Rom: [40002000,40003000) kip
Rom: [41100000,41130530) test-printf
:core ranges: Allocator 8023f240 dump:
Block: [40000000,40001000) size=00001000 avail=00001000 max_avail=00001000
Block: [4007b000,400a0000) size=00025000 avail=00025000 max_avail=00025000
Block: [400a6000,400b0000) size=0000a000 avail=0000a000 max_avail=7def1000
Block: [400b7000,4100e000) size=00f57000 avail=00f57000 max_avail=7def1000
Block: [4100f000,bef00000) size=7def1000 avail=7def1000 max_avail=7def1000
=> mem_size=2129100800 (2030 MB) / mem_avail=2129100800 (2030 MB)
\0x1b[32mGenode 15.08 <local changes>\0x1b[0m
int main(): \0x1b[33m--- create local services ---\0x1b[0m
int main(): \0x1b[33m--- start init ---\0x1b[0m
\0x1b[34mReceived something different than a pagefault, ignoring ...\0x1b[0m
Best Regards, waldo