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

DHIRAJ PRAJAPATI dhirajprajapati96 at
Sun Feb 5 15:37:08 CET 2023

Thanks, Michael for suggesting the uboot tools.

I generated the uImage successfully.
Now to boot the image on QEMU I first tried to get the log.img using
*make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
by adding QEMU_RUN_OPT := --include image/disk
But could not figure out to resolve the problem that the kernel is not
getting loaded.
Also, guide me if I can do something with uImage(var/run/log/boot/uImage)
to get the GUI in QEMU.


On Sat, Feb 4, 2023 at 4:30 PM Michael Grunditz <michael.grunditz at>

> 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
> Michael
> _______________________________________________
> Genode users mailing list
> users at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: error
Type: application/octet-stream
Size: 1056 bytes
Desc: not available
URL: <>

More information about the users mailing list