0x0000.4000 - 0x0000.4007 (8): bootloader info 0x0 byte: support flags 0x80: PCI 0x40: PAE 0x1 byte: PCI "hardware characteristics" 0x2 byte: PCI minor 0x3 byte: PCI major 0x4 byte: last PCI bus 0x6 word: BIOS memory map length 0x0000.4f98 - 0x0000.4fff (104): TSS 0x0000.5000 - 0x0000.5fff (4k): kernel page directory 0x0001.0000 - 0x0001.ffff (64k): BIOS memory map 0x0003.0000 - 0x0003.7fff (32k): kernel text, data, rodata 0x0003.8000 - 0x0003.ffff (32k): kernel stack 0x0004.0000 - 0x0005.ffff (128k): pagemap 0x000a.0000 - 0x000f.ffff (384k): VGA and BIOS memory 0x0040.0000 - 0x007f.ffff (4M): kernel page tables 0x00f0.0000 - 0x00ff.ffff (1M): ISA memory 0x0400.0000 - 0x07ff.ffff (64M): kernel heap, bss pages 0x0800.0000 - 0xffff.ffff (rest): user pages, hardware memory