I almost forgot,
You might want to do this to speed up building (after having installed ccache):
cd genode/build/arm_v8a/ echo "CCACHE := yes" >> etc/build.conf echo "MAKE += -j4" >> etc/build.conf
If you eventually want to go to real hardware:
cd genode/build/arm_v8a/ sed -i 's/^BOARD_RUN_OPT(rpi3)/#BOARD_RUN_OPT(rpi3)/' etc/build.conf echo "BOARD_RUN_OPT(rpi3) := --include image/uboot" >> etc/build.conf make run/log KERNEL=hw BOARD=rpi3 ls var/run/log/boot/uImage
On 02.02.23 10:02, Martin Stein wrote:
Furthermore,
The corresponding boot image is this one:
genode/build/arm_v8a/var/run/log/boot/image.elf
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 ld-hw.lib.so ld.lib.so test-log
Here are some links for the in-depth story behind Genode on RPI3/ARMv8a:
https://genodians.org/skalk/index -> The "ARMv8" articles http://genodians.org/tomga/index -> The "Raspberry PI" articles
Please don't hesitate to ask if you have further questions ;)
Cheers, Martin