Difficulty Booting L4RE on Raspberry Pi
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Jun 30 00:24:30 CEST 2015
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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list