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

Martin Stein martin.stein at
Thu Feb 2 09:48:38 CET 2023


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


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

More information about the users mailing list