I'm a beginner with Raspberry Pi architecture.
I compiled a 64-bit Linux kernel for Raspberry Pi 3. When I read the ELF headers, I can see the kernel entry point is @0xFFFFFF8008080000.
However if I understand well, the BCM2837 memory map stops @ 0xFFFFFFFFF with repeated aliases. Is there something I miss?
I read that on Raspberry Pi the entry point of kernels was either 0x800 or 0x80000.