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