00000000-0000ffff : reserved
00010000-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-da99efff : System RAM
  01000000-013f89e3 : Kernel code
  013f89e4-0173247f : Kernel data
  017eb000-0192dfff : Kernel bss
da99f000-dae9efff : reserved
dae9f000-daf9efff : ACPI Non-volatile Storage
daf9f000-daffefff : ACPI Tables
dafff000-daffffff : System RAM
db000000-df9fffff : reserved
dfa00000-febfffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:02.0
  f0000000-f03fffff : 0000:00:02.0
  f0400000-f0bfffff : PCI Bus 0000:05
  f0c00000-f13fffff : PCI Bus 0000:0d
  f1400000-f1bfffff : PCI Bus 0000:0d
    f1400000-f14000ff : 0000:0d:00.0
      f1400000-f14000ff : mmc0
  f1c00000-f23fffff : PCI Bus 0000:05
  f2400000-f24fffff : PCI Bus 0000:03
    f2400000-f2401fff : 0000:03:00.0
      f2400000-f2401fff : iwlagn
  f2500000-f251ffff : 0000:00:19.0
    f2500000-f251ffff : e1000e
  f2520000-f2523fff : 0000:00:1b.0
    f2520000-f2523fff : ICH HD audio
  f2524000-f25240ff : 0000:00:1f.3
  f2525000-f252500f : 0000:00:16.0
    f2525000-f252500f : mei
  f2528000-f25287ff : 0000:00:1f.2
    f2528000-f25287ff : ahci
  f2529000-f25293ff : 0000:00:1d.0
    f2529000-f25293ff : ehci_hcd
  f252a000-f252a3ff : 0000:00:1a.0
    f252a000-f252a3ff : ehci_hcd
  f252b000-f252bfff : 0000:00:19.0
    f252b000-f252bfff : e1000e
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:02
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed08000-fed08fff : reserved
fed10000-fed19fff : reserved
  fed10000-fed13fff : pnp 00:02
  fed18000-fed18fff : pnp 00:02
  fed19000-fed19fff : pnp 00:02
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:02
fed40000-fed4bfff : PCI Bus 0000:00
  fed45000-fed4bfff : pnp 00:02
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ffd20000-ffffffff : reserved
100000000-19e5fffff : System RAM
19e600000-19fffffff : RAM buffer