00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-3ffeffff : System RAM
3fff0000-3fffefff : ACPI Tables
3ffff000-3fffffff : ACPI Non-volatile Storage
40000000-fffbffff : PCI Bus 0000:00
  40000000-407fffff : 5620e0c7-8062-4dce-aeb7-520c7ef76171
  f8000000-fbffffff : 0000:00:08.0
  fec00000-fec003ff : IOAPIC 0
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:07
fffc0000-ffffffff : pnp 00:08
100000000-2bfffffff : System RAM
  15cc00000-15d32d336 : Kernel code
  15d32d337-15d94f9bf : Kernel data
  15db25000-15de2ffff : Kernel bss
fe0000000-fffffffff : PCI Bus 0000:00