Running Genode on a Raspberry Pi 3

[Stefan Kalkowski]

Hello Simon,

On Wed, Nov 04, 2020 at 11:54:01AM +0100, Simon Himmelbauer wrote:
> 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?

My first suspicion would be that u-boot and Fiasco.OC are using
different UART settings, e.g., the baudrate might be different. With
which baudrate do you connect to the serial line? I would expect
Fiasco.OC to use 115200.

You could also try to find the place in Fiasco.OC/bootstrap where the
UART gets configured, and comment out any hardware access there, to
verify/falsify my idea. The UART is already configured properly by
u-boot, so Fiasco.OC should be able to send characters successfully
over serial line.

Regards
Stefan

> 
> 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
> 
> 
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org