00000000-00000fff : reserved
00001000-0009dfff : System RAM
0009e000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000dffff : PCI Bus 0000:00
  000c0000-000c7fff : Video ROM
000e0000-000fffff : PCI Bus 0000:00
  000e0000-000fffff : reserved
    000f0000-000fffff : System ROM
00100000-1fffffff : System RAM
  01000000-0155a5c9 : Kernel code
  0155a5ca-018e32ff : Kernel data
  01a0d000-01b34fff : Kernel bss
20000000-200fffff : reserved
20100000-6fffffff : System RAM
70000000-79126fff : reserved
79127000-79326fff : ACPI Non-volatile Storage
79327000-79366fff : ACPI Tables
79367000-7a7fffff : reserved
7ae00000-7fffffff : reserved
  7b000000-7effffff : Graphics Stolen Memory
80000000-908ffffe : PCI Bus 0000:00
  80000000-8fffffff : 0000:00:02.0
  90000000-903fffff : 0000:00:02.0
  90400000-904fffff : PCI Bus 0000:05
    90400000-90403fff : 0000:05:00.0
      90400000-90403fff : r8169
    90404000-90404fff : 0000:05:00.0
      90404000-90404fff : r8169
  90500000-905fffff : PCI Bus 0000:04
    90500000-90501fff : 0000:04:00.0
      90500000-90501fff : iwlwifi
  90600000-906fffff : 0000:00:1a.0
    90600000-906fffff : mei_txe
  90700000-907fffff : 0000:00:1a.0
    90700000-907fffff : mei_txe
  90800000-9080ffff : 0000:00:14.0
    90800000-9080ffff : xhci-hcd
  90810000-90813fff : 0000:00:1b.0
    90810000-90813fff : ICH HD audio
  9081d000-9081d7ff : 0000:00:13.0
    9081d000-9081d7ff : ahci
  9081d800-9081d81f : 0000:00:1f.3
90900000-90903fff : INTL9C60:01
  90900000-90903fff : INTL9C60:01
90909000-90909fff : 80860F41:00
  90909000-90909fff : 80860F41:00
9090f000-9090ffff : 80860F41:01
  9090f000-9090ffff : 80860F41:01
e0000000-e3ffffff : PCI MMCONFIG 0000 [bus 00-3f]
  e0000000-e3ffffff : reserved
    e00000d0-e00000db : INT33BD:00
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed01000-fed01fff : reserved
  fed01000-fed01fff : pnp 00:05
fed03000-fed03fff : reserved
  fed03000-fed03fff : pnp 00:05
    fed03008-fed0300c : iTCO_wdt
      fed03008-fed0300c : iTCO_wdt
fed04000-fed04fff : pnp 00:05
fed05000-fed057ff : INT3401:00
fed08000-fed08fff : reserved
  fed08000-fed08fff : pnp 00:05
fed0c000-fed0ffff : reserved
  fed0e000-fed0efff : INT33FC:02
fed1c000-fed1cfff : reserved
  fed1c000-fed1cfff : pnp 00:05
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
fef00000-feffffff : reserved
  fef00000-feffffff : pnp 00:05
ff000000-ffffffff : INT0800:00
  ffc00000-ffffffff : reserved
100000000-27fffffff : System RAM