0x00000000 - 0x00001000 kernel pd 0x00001000 - 0x00005000 kernel pt 0x00005000 - 0x00006000 empty page .... 0x00100000 - 0x???????? kernel code, data, bss 0x???????? - 0x01000000 kernel early stack .... 0x30000000 - 0x40000000 kernel heap
