Raspberry Pi 3 64-bit kernel entry

[Barben360]

Hello,

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.

[LdB]

It's virtualized via the MMU unit. There is a couple threads on here including one a few posts back but you need to do basic reading on MMU and virtualization before any of it makes sense as it is one of the most complex areas to understand. The entries are you described physically but once you turn the MMU on you can map anything to anywhere.