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-1fffffff : System RAM
  01000000-013cf601 : Kernel code
  013cf602-018a77bf : Kernel data
  01986000-02272fff : Kernel bss
20000000-201fffff : reserved
20200000-40003fff : System RAM
40004000-40004fff : reserved
40005000-ad5effff : System RAM
ad5f0000-bae9efff : reserved
bae9f000-baf9efff : ACPI Non-volatile Storage
baf9f000-baffefff : ACPI Tables
bafff000-bf9fffff : reserved
bfa00000-febfffff : PCI Bus 0000:00
  c0000000-d1ffffff : PCI Bus 0000:01
    c0000000-cfffffff : 0000:01:00.0
    d0000000-d1ffffff : 0000:01:00.0
  e0000000-efffffff : 0000:00:02.0
  f0000000-f10fffff : PCI Bus 0000:01
    f0000000-f0ffffff : 0000:01:00.0
    f1000000-f107ffff : 0000:01:00.0
  f1400000-f17fffff : 0000:00:02.0
  f1800000-f1ffffff : PCI Bus 0000:02
  f2000000-f27fffff : PCI Bus 0000:04
  f2800000-f2ffffff : PCI Bus 0000:04
  f3000000-f30fffff : PCI Bus 0000:03
    f3000000-f3001fff : 0000:03:00.0
  f3100000-f38fffff : PCI Bus 0000:02
    f3100000-f31000ff : 0000:02:00.0
  f3900000-f391ffff : 0000:00:19.0
    f3900000-f391ffff : e1000e
  f3920000-f392ffff : 0000:00:14.0
  f3930000-f3933fff : 0000:00:1b.0
  f3934000-f39340ff : 0000:00:1f.3
  f3935000-f393500f : 0000:00:16.0
  f3938000-f39387ff : 0000:00:1f.2
    f3938000-f39387ff : ahci
  f3939000-f39393ff : 0000:00:1d.0
  f393a000-f393a3ff : 0000:00:1a.0
  f393b000-f393bfff : 0000:00:19.0
    f393b000-f393bfff : 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
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ffc00000-ffffffff : reserved
100000000-13e5fffff : System RAM
13e600000-13fffffff : RAM buffer