1234567891011121314151617181920212223242526 |
- physical memory
- 0x0000 - 0x1000: early kernel data
- 0x1000 - 0x2000: kernel stage1
- 0x2000 - ? : kernel image
- 0x100000 - 0x101000 : kernel PML4
- 0x101000 - 0x102000 : kernel PDPT for physical memory mappings
- 0x102000 - 0x103000 : kernel PDPT for kernel space
- 0x103000 - 0x104000 : kernel PD for kernel image
- 0x104000 - 0x105000 : kernel PT for kernel image
- 0x106000 - 0x200000 : unused empty pages
- 0x200000 - 0x300000 : first kernel bss page (2MB)
- virtual address space
- 0xffffff0000000000 - 0xffffff3fffffffff 256GB physical memory (cached)
- 0xffffff4000000000 - 0xffffff7fffffffff 256GB physical memory (not cached)
- 0xffffff8000000000 - 0xffffffbfffffffff 256GB kernel bss
- 0xffffffc000000000 - 0xffffffffffbfffff ~256GB unused
- 0xffffffffffc00000 - 0xffffffffffdfffff 2MB kernel image
- 0xffffffffffe00000 - 0xffffffffffffffff 2MB unused
|