Running genode on QEMU having board support of raspberry pi for arm_v8.

Michael Grunditz michael.grunditz at
Sat Feb 4 11:59:48 CET 2023

On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI
<dhirajprajapati96 at> wrote:
> Thanks, Martin for your quick response.
> I followed your steps and generated the
> genode/build/arm_v8a/var/run/log/boot/image.elf.
> While going to the real hardware I got stuck for
> boot/uImage(var/run/log/boot/uImage) getting the following error.
> Kindly guide me on how to proceed further.

Install the tool "mkimage". In ubuntu:
sudo apt-get install u-boot-tools


More information about the users mailing list