Regarding ARM on Genode virt_qemu_arm_v8a

Martin Stein martin.stein at
Mon Feb 6 17:30:38 CET 2023

Hi Divya,

The log file you attached contains nothing substantial because, AFAICT,
you have to add LOG=core to your command line:

make run/sculpt_test ... LOG=core

Please consider re-sending the log file with the mentioned option added.

As Stefan already mentioned, Sculpt + ARM + Qemu is not officially
supported yet. If this is an alternative for you, Sculpt + Qemu + x86_64
is supported:

./tool/create_builddir x86_64
cd build/x86_64/
sed -i "s/#REP/REP/" etc/build.conf
echo "MAKE += -j8" >> etc/build.conf
echo "CCACHE := yes" >> etc/build.conf
make run/sculpt_test KERNEL=hw BOARD=pc DEPOT=tar LOG=core


On 06.02.23 14:40, Divya Sharma wrote:
> Thanks a lot Stefan for your explanation about the driver configuration.
> I followed your roadmap and tried to configure the drivers with help of
> the driver subsystem file that you mentioned for virt_qemu_arm_v8a
> platform and generated the image.elf
> at /*genode/build/arm_v8a/var/run/sculpt/boot/image.elf.*
> While executing it to get the gui on QEMU i got the following error message.
> Maybe I did something wrong in
> the *genode/repos/gems/sculpt/drivers/virt_qemu_arm_v8a*  and missed any
> drivers in the /*genode/repos/gems/sculpt/default-virt_qemu_arm_v8a.sculpt*.
> Also I am not sure how to write this configuration.
> Kindly guide me to configure the required drivers to boot the image in qemu.
> Regards,
> Divya.

More information about the users mailing list