Thanks, Martin for your quick response.
I followed your steps and generated the genode/build/arm_v8a/var/run/log/boot/image.elf. While going to the real hardware I got stuck for boot/uImage(var/run/log/boot/uImage) getting the following error. Kindly guide me on how to proceed further.
Best, DHIRAJ.
On Thu, Feb 2, 2023 at 3:29 PM Martin Stein martin.stein@genode-labs.com wrote:
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 users@lists.genode.org https://lists.genode.org/listinfo/users