Virtual Memory
Author: Slava Andrianov @Slava-A1
The Raspberry Pi 4B that PincerOS targets runs on the AArch64 architecture. PincerOS starts out in a 25 bit address space for the kernel and user spaces and then switches them both to 48 bit virtual address spaces. Please review the subpages for more information on the AArch64 virtual memory structure, what you need to set it up, some details on the variable width address spaces, and some information on the translation descriptor entries.
For more information, take a look at the subpages