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