Hello,
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.
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