Hi,
On Mon Jun 29, 2015 at 00:40:26 -0400, Robert Lowe wrote:
I've done some research and have been trying to get L4RE + Fiasco.OC to boot on my raspberry pi. I've managed to get the bootable image onto the PI, but the boot halts just after the kernel is loaded. I've tried different compiler toolchains, both linaro(which I hear there are issues with) and genode. Unfortunately I was unable to acquire the sourcery toolchain. In every case, it halts at the same point.
Hard to say without further digging but could be the compiler. You can find the compiler at http://elinux.org/ARMCompilers (2014.05).
Adam
Here is a serial dump: L4 Bootstrapper Build: #3 Sat Jun 27 23:26:20 EDT 2015, 4.7.1 20120402 (prerelease) Scanning up to 512 MB RAM, starting at offset 32MB Memory size is 512MB (00000000 - 1fffffff) RAM: 0000000000000000 - 000000001fffffff: 524288kB Total RAM: 512MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 5 modules behind 1100000 moving module 02 { 10a0000-10d163f } -> { 1191000-11c263f } [202304] moving module 01 { 1096000-109f357 } -> { 1187000-1190357 } [37720] moving module 00 { 1043000-1095ae7 } -> { 1134000-1186ae7 } [338664] moving module 04 { 1029000-1042597 } -> { 111a000-1133597 } [103832] moving module 03 { 100f000-1028473 } -> { 1100000-1119473 } [103540] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list 'regions' [ 1000, 19bf] { 9c0} Kern fiasco [ 2000, 62fff] { 61000} Kern fiasco [ 63000, 630e3] { e4} Root mbi_rt [ 90000, 966bb] { 66bc} Sigma0 sigma0 [ 98000, 9e177] { 6178} Sigma0 sigma0 [ 140000, 16daaf] { 2dab0} Root moe [ 170000, 186f13] { 16f14} Root moe [ 1000000, 100e4ff] { e500} Boot bootstrap [ 1100000, 1133fff] { 34000} Root Module API Version: (87) experimental Sigma0 config ip:00090100 sp:00000000 Roottask config ip:00140264 sp:00000000 Starting kernel fiasco at 000011a8 Hello from Startup::stage2
Attached is my kernel config, if it is of any help. Thanks for any assistance Robert Lowe
[-- octet-filter file type: "ASCII text" --]
# # 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_KIRKWOOD is not set # CONFIG_PF_TEGRA is not set CONFIG_PF_BCM2835=y # CONFIG_PF_SUNXI is not set # CONFIG_PF_ZYNQ is not set # CONFIG_PF_S3C2410 is not set # CONFIG_PF_XSCALE is not set # CONFIG_PF_REALVIEW is not set # CONFIG_PF_IMX is not set # CONFIG_PF_EXYNOS is not set # CONFIG_PF_INTEGRATOR is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_OMAP is not set CONFIG_BSP_NAME="bcm2835" CONFIG_ABI_VF=y CONFIG_CAN_ARM_CPU_1176=y CONFIG_ARM_1176=y # CONFIG_ARM_ALIGNMENT_CHECK is not set CONFIG_ARM_EM_STD=y # CONFIG_ARM_EM_NS is not set # CONFIG_ARM_EM_TZ is not set CONFIG_FPU=y # CONFIG_ARM_1176_CACHE_ALIAS_FIX is not set # CONFIG_ARM_CPU_ERRATA is not set
# # Kernel options # # CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=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_V6=y CONFIG_ARM_V6PLUS=y CONFIG_WARN_LEVEL=1 CONFIG_XARCH="arm" CONFIG_ABI="vf"
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers