Document System Memory Map

[tibotix]

This includes

kernel range (includes page tables, gdt, idt, tss, kernel elf)
userspace range (includes only user elf + user mapped memory)
mmio range (includes start/end addresses for allowed mmio and detailed addresses for each mmio register)