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