AArch64 virtual memory

[SamTebbs33]

trafficstars

We'll need virtual memory support so that the kernel can be mapped to the upper GiB of memory, like in x86.

[markfirmware]

I have a first implementation working. I ended up there when I discovered that alignment faults could not be suppressed without turning on the mmu.

[SamTebbs33]

I have a first implementation working. I ended up there when I discovered that alignment faults could not be suppressed without turning on the mmu.

Nice, we welcome contribution for this :) You can take a look at the structure of the VMM and x86 paging for information on how it should integrate with the rest of the system.