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