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

Martin Stein martin.stein at
Thu Feb 2 10:02:23 CET 2023


The corresponding boot image is this one:


Copies with additional debugging information (gdb and friends) of the
objects that form part of the boot image are stored in here:

ls genode/build/arm_v8a/debug/
core-hw-rpi3.a  init  test-log

Here are some links for the in-depth story behind Genode on RPI3/ARMv8a: -> The "ARMv8" articles -> The "Raspberry PI" articles

Please don't hesitate to ask if you have further questions ;)


On 02.02.23 09:48, Martin Stein wrote:
> This will run a simple test scenario on RPI3 and the base-hw kernel in Qemu:
> git clone git at
> cd genode
> git clone repos/rpi
> ./tool/create_builddir arm_v8a
> cd build/arm_v8a/
> echo "REPOSITORIES += \$(GENODE_DIR)/repos/rpi" >> etc/build.conf
> make run/log KERNEL=hw BOARD=rpi3
> Cheers,
> Martin
> On 02.02.23 07:47, DHIRAJ PRAJAPATI wrote:
>> Dear genodians,
>> As I saw that you already worked on the Raspberry for Genode framework,I
>> wanted to ask about that because I am also working on it.
>> I am trying the port genode having the arm_v8a support of Raspberry
>> board to run that on QEMU.
>> So I need some guidance from you on how to start and what should be the
>> roadmap for generating the boot image (.img file ) having arm 64
>> architecture which can be booted and run on QEMU.
>> It would be very helpful for me if you guide me to port genode on QEMU
>> for arm_v8a.
>> Regards,
>> _______________________________________________
>> Genode users mailing list
>> users at
> _______________________________________________
> Genode users mailing list
> users at

More information about the users mailing list