Hi Sunyu

We are using GenodeOS(15.05) with Fiasco.OC r67 (http://github.com/skalk/foc.git). We have made all configuration and passed the compilation (printf.run) too. To get the raw image we have used genode-arm-obj-copy.
In our case the Fiasco.OC don't starts successfully, the execution stops at 'Calibrating loop time...'. We have also tested it on the Fiasco.OC snapshot and got the same problem. There is the serial output using Genode:
Boot with zImage
Starting kernel ...
L4 Bootstrapper
  Build: #2 Mon Jun  1 13:06:39 EDT 2015, 4.7.4
  Scanning up to 2047 MB RAM
  Memory size is 2047MB (40000000 - bfefffff)
  RAM: 0000000040000000 - 00000000bfefffff: 2096128kB
  Total RAM: 2047MB
  mod05: 41153000-4118b960: genode/test-printf
  mod04: 41104000-41152908: genode/init
  mod03: 41103000-41103110: genode/config
  mod02: 41089000-411021c8: genode/core
  mod01: 4107f000-41088374: sigma0
  mod00: 41015000-4107e8ac: /home/alexy/workOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco
  Moving up to 6 modules behind 41100000
  moving module 00 { 41015000-4107e8ab } -> { 41277000-412e08ab } [432300]
  moving module 01 { 4107f000-41088373 } -> { 412e1000-412ea373 } [37748]
  moving module 02 { 41089000-411021c7 } -> { 412eb000-413641c7 } [496072]
  moving module 03 { 41103000-4110310f } -> { 41100000-4110010f } [272]
  moving module 04 { 41104000-41152907 } -> { 41101000-4114f907 } [321800]
  moving module 05 { 41153000-4118b95f } -> { 41150000-4118895f } [231776]
  Scanning /home/alexy/workOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco -serial_esc
  Scanning sigma0
  Scanning genode/core
  Relocated mbi to [0x4100e000-0x4100e14d]
  Loading kOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco
  Loading sigma0
  Loading genode/core
  find kernel info page...
  found kernel info page at 0x40002000
Regions of list 'regions'
    [ 40001000,  40001bff] {      c00} Kern   kOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco
    [ 40002000,  40076fff] {    75000} Kern   kOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco
    [ 400a0000,  400a673b] {     673c} Sigma0 sigma0
    [ 400a8000,  400ae17b] {     617c} Sigma0 sigma0
    [ 41000000,  410143f7] {    143f8} Boot   bootstrap
    [ 4100e000,  4100e24a] {      24b} Root   Multiboot info
    [ 41100000,  4118895f] {    88960} Root   Module
    [ 80100000,  8025271f] {   152720} Root   genode/core
  API Version: (87) experimental
  Sigma0 config    ip:400a0100 sp:41013de4
  Roottask config  ip:80100000 sp:00000000
  Starting kernel kOS/genodeos/build/foc_odroid-x2/kernel/fiasco.oc/fiasco at 400013c0
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf0066658-0xf00670a8)
Number of IRQs available at this GIC: 160
Cache config: ON
ID_PFR[01]:  00001231 00000011 ID_[DA]FR0: 00010444 00000000
ID_MMFR[04]: 00100103 20000000 01230000 00102111
FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
L2: ID=4100c4c8 Type=1a340340 Aux=7e470001 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Watchdog initialized
SERIAL ESC: allocated IRQ 85 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: 95b378f compiled with gcc 4.7.4 for Samsung Exynos    []
Build: #1 Mon Jun  1 13:06:23 EDT 2015

Per_cpu_data_alloc: (orig: 0xf0066658-0xf00670a8)
Allocate 2640 bytes (3KB) for CPU[4] local storage (offset=117f9a8, 0xf11e6000-0xf11e6a50)
Timer for CPU0 is at IRQ 28
Number of CPUs: 4
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf0066658-0xf00670a8)
Allocate 2640 bytes (3KB) for CPU[1] local storage (offset=11809a8, 0xf11e7000-0xf11e7a50)
Cache config: ON
ID_PFR[01]:  00001231 00000011 ID_[DA]FR0: 00010444 00000000
ID_MMFR[04]: 00100103 20000000 01230000 00102111
FPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
Per_cpu_data_alloc: (orig: 0xf0066658-0xf00670a8)
Timer for CPU1 is at IRQ 28
Allocate 2640 bytes (3KB) for CPU[2] local storage (offset=118c9a8, 0xf11f3000-0xf11f3a50)
CPU[1]: goes to idle loop
Cache config: ON
ID_PFR[01]:  00001231 00000011 ID_[DA]FR0: 00010444 00000000
ID_MMFR[04]: 00100103 20000000 01230000 00102111
FPU2: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
Per_cpu_data_alloc: (orig: 0xf0066658-0xf00670a8)
Timer for CPU2 is at IRQ 28
Allocate 2640 bytes (3KB) for CPU[3] local storage (offset=118f9a8, 0xf11f6000-0xf11f6a50)
CPU[2]: goes to idle loop
Cache config: ON
ID_PFR[01]:  00001231 00000011 ID_[DA]FR0: 00010444 00000000
ID_MMFR[04]: 00100103 20000000 01230000 00102111
FPU3: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
Timer for CPU3 is at IRQ 28
CPU[3]: goes to idle loop
\00\FF\00OK
I have attached the configuration that we are using to compile the Fiasco.OC + L4re with Genode. Can you share the configuration that have used to compile Fiasco.OC? and what repository are you using?

Best regards

On 05/30/2015 02:57 AM, 四枚羽根 wrote:
Hi,
We have alreadly got fiasco.oc(R67) running on the Exynos4412 successfully,
and tested Genode(13.05) on pandaboard.So i am trying to test Genode(13.05）
with fiasco.oc(R67) on Exynos4412.
Have made all the configuration and passed the compilation(printf.run),i get a 'image.elf' and then change it to 'image.raw'.
The Fiasco.oc starts successfully during the execution of image.raw on Exynos4412,but end with the error,i know it is about protection domain.
Do you have any idea about the error? Then can you show me the log of your Fiasco.oc's boot(on Odroid-X2).

Thanks and regards
Sunyu

发自 Windows 邮件


-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830

"antes de discutir ... respira;
  antes de hablar ... escucha;
 antes de escribir ... piensa;
  antes de herir ... siente;
 antes de rendirte ... intenta;
  antes de morir ... vive"