I have been reading about bare-metal programming on the RaspberryPi 4, and the article I was reading mentioned that the Pi loads the Kernel to memory address 0x80000. I usually try to find references for what the article says in the official ARM/RaspberryPi reference manuals, but I just couldn't find anything regarding this 0x80000.
In fact, most resources seem to suggest that the kernel is actually loaded to 0x8000 instead (like this one). It seems like the only somewhat "official" document mentioning the kernel being loaded to 0x80000 is this. I hope maybe someone here can point me to a document that has this info, because at this point I don't know where to look. I checked the Pi's docs, the ARM docs and the Broadcom docs.
Also the RaspberryPi manual I linked (first link) mentions that 64bit kernels get loaded to 0x200000. My kernels name on the SD card is kernel8.img which I assumed tells the Pi that it is a 64bit kernel, so why isn't it loaded to this address?
