00000000-00000fff : reserved
00001000-0009d7ff : System RAM
0009d800-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000c8000-000cbfff : pnp 00:00
000cc000-000cffff : pnp 00:00
000d0000-000d3fff : pnp 00:00
000d4000-000d7fff : pnp 00:00
000d8000-000dbfff : pnp 00:00
000dc000-000dffff : pnp 00:00
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-d1deffff : System RAM
  01000000-013cf601 : Kernel code
  013cf602-018a77bf : Kernel data
  01986000-02272fff : Kernel bss
d1df0000-df69efff : reserved
df69f000-df79efff : ACPI Non-volatile Storage
df79f000-df7fefff : ACPI Tables
df7ff000-dfffffff : reserved
e0000000-febfffff : PCI Bus 0000:00
  e0000000-f1ffffff : PCI Bus 0000:01
    e0000000-efffffff : 0000:01:00.0
    f0000000-f1ffffff : 0000:01:00.0
  f2000000-f30fffff : PCI Bus 0000:01
    f2000000-f2ffffff : 0000:01:00.0
    f3000000-f3003fff : 0000:01:00.1
    f3080000-f30fffff : 0000:01:00.0
  f3100000-f38fffff : PCI Bus 0000:02
  f3900000-f40fffff : PCI Bus 0000:04
  f4100000-f48fffff : PCI Bus 0000:04
  f4900000-f49fffff : PCI Bus 0000:03
    f4900000-f4901fff : 0000:03:00.0
  f4a00000-f51fffff : PCI Bus 0000:02
    f4a00000-f4a000ff : 0000:02:00.0
  f5200000-f521ffff : 0000:00:19.0
    f5200000-f521ffff : e1000e
  f5220000-f522ffff : 0000:00:14.0
  f5230000-f5233fff : 0000:00:1b.0
  f5234000-f52340ff : 0000:00:1f.3
  f5235000-f523500f : 0000:00:16.0
  f5238000-f52387ff : 0000:00:1f.2
    f5238000-f52387ff : ahci
  f5239000-f52393ff : 0000:00:1d.0
  f523a000-f523a3ff : 0000:00:1a.0
  f523b000-f523bfff : 0000:00:19.0
    f523b000-f523bfff : e1000e
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:01
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed08000-fed08fff : reserved
fed10000-fed19fff : reserved
  fed10000-fed13fff : pnp 00:01
  fed18000-fed18fff : pnp 00:01
  fed19000-fed19fff : pnp 00:01
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:01
fed40000-fed4bfff : PCI Bus 0000:00
  fed45000-fed4bfff : pnp 00:01
fed90000-fed90fff : dmar0
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ffc00000-ffffffff : reserved
100000000-11dffffff : System RAM
11e000000-11fffffff : RAM buffer