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 邮件