00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : ACPI Non-volatile Storage
00059000-0009ffff : System RAM
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-000e3fff : pnp 00:00
000e4000-000e7fff : pnp 00:00
000e8000-000ebfff : pnp 00:00
000ec000-000effff : pnp 00:00
000f0000-000fffff : System ROM
00100000-1fffffff : System RAM
  02000000-02df8f33 : Kernel code
  03400000-035a4aff : Kernel data
  039d3000-03b17fff : Kernel bss
20000000-201fffff : reserved
20200000-3fffffff : System RAM
40000000-401fffff : reserved
40200000-da99efff : System RAM
da99f000-dae9efff : reserved
dae9f000-daf9efff : ACPI Non-volatile Storage
daf9f000-daffefff : ACPI Tables
dafff000-daffffff : System RAM
db000000-dbffffff : RAM buffer
dfa00000-febfffff : PCI Bus 0000:00
  dfa00000-dfbfffff : PCI Bus 0000:02
  dfc00000-dfdfffff : PCI Bus 0000:02
  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-f14007ff : 0000:0d:00.3
    f1401000-f14010ff : 0000:0d:00.0
      f1401000-f14010ff : mmc0
  f1c00000-f23fffff : PCI Bus 0000:05
  f2400000-f24fffff : PCI Bus 0000:03
    f2400000-f2401fff : 0000:03:00.0
      f2400000-f2401fff : iwlwifi
  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]
    f80f8000-f80f8fff : reserved
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed10000-fed13fff : pnp 00:01
fed18000-fed18fff : pnp 00:01
fed19000-fed19fff : pnp 00:01
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fed40000-fed4bfff : PCI Bus 0000:00
  fed45000-fed4bfff : pnp 00:01
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
100000000-41e5fffff : System RAM
41e600000-41fffffff : RAM buffer