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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
