Bare metal, Assembly language • Pi5 image loading address and starting address

6.44 Read /cmdline.txt bytes 131 hnd 0x251
6.85 BMD "armstub8-2712.bin" not found
6.85 fs_open: 'armstub8-2712.bin'
6.89 Loading 'kernel_2712.img' to 0x00000000 offset 0x200000
6.03 Read kernel_2712.img bytes 59488 hnd 0x20002
6.05 PCI1 reset
6.17 PCI2 reset
6.27 set_reboot_order 0
6.27 set_reboot_arg1 0
6.28 USB-OTG disconnect

This is part of Pi5 starting log of bootloader second stage. Is 'armstub8-2712.bin' is loaded, it can't be found in SD card, is a default one existing?
In my kernel8.elf, __start is located at 0x80000, but in the log the 'kernel_2712.img' is loaded to 0x00000000 offset 0x200000, what is the mapping relation between these two. If the 'armstub8-2712.bin' exists, where is it loaded, and how is it started and does it make a jump to _start?

Statistics: Posted by keep-beyond — Sat Nov 22, 2025 3:08 am

---