0x0000.4000 - 0x0000.4003 (4): bootloader info 0x0 byte: support flags 0x80: PCI 0x1 byte: PCI "hardware characteristics" 0x2 byte: PCI minor 0x3 byte: PCI major 0x4 byte: last PCI bus 0x0000.4200 - 0x0000.42ff (256): VESA info 0x0000.4300 - 0x0000.43ff (256): VBE strings 0x0001.0000 - 0x0001.1fff (8k): memory map 0x0003.0000 - 0x0003.7fff (32k): kernel 0x0003.8000 - 0x0003.ffff (32k): kernel stack 0x1000.0000 - 0x1fff.ffff (256M): dynamic memory