Port Genode(13.05) to exynos4412 with Fiasco.oc(R67)
Reinier Millo Sánchez
rmillo at ...210...
Wed Jun 3 22:28:17 CEST 2015
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.
[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\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"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150603/f42d7fd3/attachment.html>
-------------- next part --------------
#
# 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"
-------------- next part --------------
#
# 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=""
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 517 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150603/f42d7fd3/attachment.vcf>
More information about the users
mailing list