| 123456789101112131415161718192021222324252627 |
- physical memory
- 0x0000 - 0x1000 : Some early kernel data
- 0x1000 - 0x2000 : kernel space PML4
- 0x2000 - 0x3000 : kernel PDPT for physical memory mappings
- 0x3000 - 0x4000 : kernel PDPT for kernel space
- 0x4000 - 0x5000 : kernel PD for kernel image
- 0x5000 - 0x6000 : kernel PT for kernel image
- 0x6000 - 0x7000 : kernel stage1
- 0x7000 - 0x80000 : unused
- 0x100000 - 0x200000 : unused
- 0x200000 - ? : kernel image
- virtual address space
- 0xffff ff0 000 000 000 - 0xffff ff7 fff fff fff 512GB physical memory
- 0xffff ff8 000 000 000 - 0xffff ff8 03f fff fff 1GB unused
- 0xffff ff8 040 000 000 - 0xffff ff8 13f fff fff 4GB struct page array
- 0xffff ff8 140 000 000 - 0xffff fff fbf fff fff 506GB unused
- 0xffff fff fc0 000 000 - 0xffff fff fc0 1ff fff 2MB unused
- 0xffff fff fc0 200 000 - 0xffff fff fff 9ff fff 1016MB kernel bss
- 0xffff fff fff a00 000 - 0xffff fff fff bff fff 2MB unused
- 0xffff fff fff c00 000 - 0xffff fff fff dff fff 2MB kernel image
- 0xffff fff fff e00 000 - 0xffff fff fff fff fff 2MB unused
|