Running Genode on a Raspberry Pi 3

[Simon Himmelbauer]

Hi Genodians,

I am trying to get a Genode image using the Fiasco.OC-kernel running on 
an RPi 3. I created an arm_v8a build directory and accordingly set the 
KERNEL and BOARD variable. I also compiled a u-boot image from the 
upstream repository.

When I attempt to boot the image from the u-boot prompt, I receive the 
output below with no further reaction. I am still on Genode 19.05 
because of a few modifications so I unless there is no other solution, I 
would like to avoid upgrading to a newer version.

I also tried to run a few L4Re images provided here [0] with the same 
result, so the problem might not even be specific to Genode.

Does anyone else have experiences with running on an RPi 3? Is there 
anything I am missing here?

Best regards,

Simon

[0] https://l4re.org/download/snapshots/pre-built-images/arm64/

U-Boot 2021.01-rc1-00243-g7a8ac9df5d (Nov 04 2020 - 01:56:08 +0100)

DRAM:  948 MiB
RPI 3 Model B (0xa22082)
MMC:   mmc at 7e202000: 0, sdhci at 7e300000: 1
Loading Environment from FAT... *** Warning - bad CRC, using default 
environment

In:    serial
Out:   vidconsole
Err:   vidconsole
Net:   No ethernet found.
starting USB...
Bus usb at 7e980000: USB DWC2
scanning bus usb at 7e980000 for devices... 3 USB Device(s) found
        scanning usb for storage devices... 0 Storage Device(s) found
Hit any key to stop autoboot:  0
U-Boot> fatload mmc 0 $loadaddr image.elf
3208480 bytes read in 137 ms (22.3 MiB/s)
U-Boot> bootelf
## Starting application at 0x01000000 ^��Z��%��XE��TmyAEDMe�@�*`)5��R[qP���
�����?�RQ@���VRY��5�    �R      A!��y=AA!y5YE)�}AG at A�Ţ�A����ӉR