Hi SunyuWe 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. [1;32mWelcome to Fiasco.OC (arm)! [0;32mL4/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 [0m 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\00OKI 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"
# # Automatically generated file; DO NOT EDIT. # Fiasco configuration # # # Target configuration # # CONFIG_IA32 is not set # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_PF_S3C2410 is not set # CONFIG_PF_REALVIEW is not set # CONFIG_PF_ZYNQ is not set # CONFIG_PF_OMAP is not set CONFIG_PF_EXYNOS=y # CONFIG_PF_SUNXI is not set # CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set # CONFIG_PF_XSCALE is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_TEGRA is not set # CONFIG_PF_BCM2835 is not set # CONFIG_PF_KIRKWOOD is not set CONFIG_BSP_NAME="exynos" CONFIG_PF_EXYNOS4=y CONFIG_CPU_SUSPEND=y CONFIG_PF_EXYNOS_PKG_IDS="" # CONFIG_PF_EXYNOS4_4210 is not set CONFIG_PF_EXYNOS4_4412=y # CONFIG_PF_EXYNOS5_5250 is not set # CONFIG_PF_EXYNOS5_5410 is not set CONFIG_PF_EXYNOS_UART_NATIVE=y CONFIG_PF_EXYNOS_UART_NR=1 CONFIG_PF_EXYNOS_TIMER_MCT=y # CONFIG_PF_EXYNOS_TIMER_MP is not set # CONFIG_PF_EXYNOS_TIMER_PWM is not set CONFIG_PF_EXYNOS_EXTGIC=y CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_CORTEX_A9=y # CONFIG_ARM_ALIGNMENT_CHECK is not set # CONFIG_ARM_EM_STD is not set CONFIG_ARM_EM_NS=y # CONFIG_ARM_EM_TZ is not set # CONFIG_ARM_SECMONIF_NONE is not set CONFIG_ARM_SECMONIF_MC=y # CONFIG_ARM_SECMONIF_TL is not set # CONFIG_ARM_ENABLE_SWP is not set CONFIG_ARM_CACHE_L2CXX0=y CONFIG_FPU=y # CONFIG_ARM_CPU_ERRATA is not set # # Kernel options # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 # CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y CONFIG_VIRT_OBJ_SPACE=y # # Debugging # CONFIG_INLINE=y # CONFIG_NDEBUG is not set CONFIG_NO_FRAME_PTR=y # CONFIG_STACK_DEPTH is not set # CONFIG_LIST_ALLOC_SANITY is not set CONFIG_SERIAL=y CONFIG_JDB=y # CONFIG_JDB_LOGGING is not set # CONFIG_JDB_DISASM is not set # CONFIG_JDB_GZIP is not set # CONFIG_JDB_ACCOUNTING is not set # CONFIG_VMEM_ALLOC_TEST is not set # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y # CONFIG_WARN_ANY is not set # # Compiling # CONFIG_CC="gcc" CONFIG_CXX="g++" CONFIG_HOST_CC="gcc" CONFIG_HOST_CXX="g++" # CONFIG_MAINTAINER_MODE is not set CONFIG_LABEL="" # CONFIG_EXPERIMENTAL is not set CONFIG_PERF_CNT=y CONFIG_BIT32=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y CONFIG_WARN_LEVEL=1 CONFIG_XARCH="arm" CONFIG_ABI="vf"
# # Automatically generated file; DO NOT EDIT. # L4Re Configuration # # CONFIG_BUILD_ARCH_x86 is not set # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set CONFIG_BUILD_ARCH="arm" CONFIG_BUILD_ABI_l4f=y CONFIG_BUILD_ABI="l4f" CONFIG_CPU="armv7a" # CONFIG_CPU_ARM_ARMV4 is not set # CONFIG_CPU_ARM_ARMV4T is not set # CONFIG_CPU_ARM_ARMV5 is not set # CONFIG_CPU_ARM_ARMV5T is not set # CONFIG_CPU_ARM_ARMV5TE is not set # CONFIG_CPU_ARM_ARMV6 is not set # CONFIG_CPU_ARM_ARMV6T2 is not set # CONFIG_CPU_ARM_ARMV6ZK is not set CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y CONFIG_PLATFORM_TYPE_exynos4=y # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_zedboard is not set # CONFIG_PLATFORM_TYPE_imx35 is not set # CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_exynos5 is not set # CONFIG_PLATFORM_TYPE_rv is not set # CONFIG_PLATFORM_TYPE_kirkwood is not set # CONFIG_PLATFORM_TYPE_pandaboard is not set # CONFIG_PLATFORM_TYPE_tegra3 is not set # CONFIG_PLATFORM_TYPE_tegra2 is not set # CONFIG_PLATFORM_TYPE_cubieboard2 is not set # CONFIG_PLATFORM_TYPE_omap3_am33xx is not set # CONFIG_PLATFORM_TYPE_parallella is not set # CONFIG_PLATFORM_TYPE_rpi_b is not set # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set # CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_omap5 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set # CONFIG_PLATFORM_TYPE_rpi_a is not set # CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="exynos4" # CONFIG_USE_DROPS_STDDIR is not set # CONFIG_USE_DICE is not set CONFIG_DROPS_STDDIR="/path/to/l4re" CONFIG_DROPS_INSTDIR="/path/to/l4re" CONFIG_BID_COLORED_PHASES=y # # Building # CONFIG_YACC="yacc" CONFIG_LEX="flex" CONFIG_CTAGS="ctags" CONFIG_ETAGS="etags" CONFIG_HAVE_LDSO=y CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set # CONFIG_BID_GCC_OMIT_FP is not set CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR=y # CONFIG_BID_GCC_STACK_PROTECTOR_ALL is not set CONFIG_BID_GCC_STACK_PROTECTOR=y # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD=""
<<attachment: rmillo.vcf>>
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main