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@7e202000: 0, sdhci@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@7e980000: USB DWC2 scanning bus usb@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@A�Ţ�A����ӉR