00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : reserved
00059000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cebff : Video ROM
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-c53ec017 : System RAM
  01000000-01590fee : Kernel code
  01590fef-018df5bf : Kernel data
  01a0e000-01b2dfff : Kernel bss
c53ec018-c53fc657 : System RAM
c53fc658-c53fd017 : System RAM
c53fd018-c540d057 : System RAM
c540d058-c5e63fff : System RAM
c5e64000-c5e6afff : ACPI Non-volatile Storage
c5e6b000-c62bffff : System RAM
c62c0000-c6718fff : reserved
c6719000-d864ffff : System RAM
d8650000-d8858fff : reserved
d8859000-d8871fff : ACPI Tables
d8872000-d8db0fff : ACPI Non-volatile Storage
d8db1000-d9ffefff : reserved
d9fff000-d9ffffff : System RAM
da000000-daffffff : RAM buffer
db000000-df1fffff : reserved
  db200000-df1fffff : Graphics Stolen Memory
df200000-feafffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:02.0
  f7800000-f7bfffff : 0000:00:02.0
  f7c00000-f7cfffff : PCI Bus 0000:03
    f7c00000-f7c001ff : 0000:03:00.0
      f7c00000-f7c001ff : ahci
  f7d00000-f7d1ffff : 0000:00:19.0
    f7d00000-f7d1ffff : e1000e
  f7d20000-f7d2ffff : 0000:00:14.0
    f7d20000-f7d2ffff : xhci-hcd
  f7d30000-f7d33fff : 0000:00:1b.0
    f7d30000-f7d33fff : ICH HD audio
  f7d34000-f7d37fff : 0000:00:03.0
    f7d34000-f7d37fff : ICH HD audio
  f7d39000-f7d390ff : 0000:00:1f.3
  f7d3a000-f7d3a7ff : 0000:00:1f.2
    f7d3a000-f7d3a7ff : ahci
  f7d3b000-f7d3b3ff : 0000:00:1d.0
    f7d3b000-f7d3b3ff : ehci_hcd
  f7d3c000-f7d3c3ff : 0000:00:1a.0
    f7d3c000-f7d3c3ff : ehci_hcd
  f7d3d000-f7d3dfff : 0000:00:19.0
    f7d3d000-f7d3dfff : e1000e
  f7d3f000-f7d3f00f : 0000:00:16.0
    f7d3f000-f7d3f00f : mei_me
  f7fdf000-f7fdffff : pnp 00:06
  f7fe0000-f7feffff : pnp 00:06
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:06
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:06
fed18000-fed18fff : pnp 00:06
fed19000-fed19fff : pnp 00:06
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:06
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fed20000-fed3ffff : pnp 00:06
fed40000-fed44fff : pnp 00:00
fed45000-fed8ffff : pnp 00:06
fed90000-fed93fff : pnp 00:06
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:06
100000000-81fdfffff : System RAM
81fe00000-81fffffff : RAM buffer