Physical memory:

0x0000 0000 - 0x7fff ffff  2GB MMIO
0x8000 0000 - 0x801f ffff  2MB SBI
0x8020 0000 - 0x803f ffff  2MB Kernel image
0x8040 0000 - ?            ? B Free Memory after kernel image

Kernel virtual address space:

0xffff ff00 0000 0000 - 0xffff ff7f ffff ffff  512GB Physical Memory
0xffff ff80 4000 0000 - ?                      ?   B Kernel Page Array
0xffff ffff 4000 0000 - ?                      ?   B Kernel BSS
0xffff ffff 8020 0000 - 0xffff ffff 803f ffff    2MB Kernel image
