00000000-0000ffff : reserved
00010000-0009e7ff : System RAM
0009e800-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000c8000-000cbfff : pnp 00:00
000cc000-000cffff : pnp 00:00
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000fffff : reserved
  000e0000-000effff : Extension ROM
  000f0000-000fffff : System ROM
00100000-bb27bfff : System RAM
  01000000-016e8720 : Kernel code
  016e8721-01ca3aff : Kernel data
  01d3b000-01e28fff : Kernel bss
bb27c000-bb281fff : reserved
bb282000-bb35efff : System RAM
bb35f000-bb370fff : reserved
bb371000-bb3f1fff : ACPI Non-volatile Storage
bb3f2000-bb40efff : reserved
bb40f000-bb46efff : System RAM
bb46f000-bb667fff : reserved
bb668000-bb6e7fff : ACPI Non-volatile Storage
bb6e8000-bb70efff : reserved
bb70f000-bb716fff : System RAM
bb717000-bb71efff : reserved
bb71f000-bb76bfff : System RAM
bb76c000-bb777fff : ACPI Non-volatile Storage
bb778000-bb77afff : ACPI Tables
bb77b000-bb78afff : ACPI Non-volatile Storage
bb78b000-bb78bfff : ACPI Tables
bb78c000-bb79efff : ACPI Non-volatile Storage
bb79f000-bb7fefff : ACPI Tables
bb7ff000-bb7fffff : System RAM
bb800000-bfffffff : reserved
c0000000-febfffff : PCI Bus 0000:00
  c0000000-c0000fff : Intel Flush Page
  d0000000-dfffffff : 0000:00:02.0
  e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
    e0000000-efffffff : reserved
      e0000000-efffffff : pnp 00:03
  f0000000-f1ffffff : PCI Bus 0000:05
  f2000000-f23fffff : 0000:00:02.0
  f2400000-f24fffff : PCI Bus 0000:03
    f2400000-f2401fff : 0000:03:00.0
      f2400000-f2401fff : iwlwifi
  f2500000-f25fffff : PCI Bus 0000:0d
    f2500000-f25000ff : 0000:0d:00.0
      f2500000-f25000ff : mmc0
    f2500400-f25004ff : 0000:0d:00.1
    f2500800-f2500fff : 0000:0d:00.3
  f2600000-f261ffff : 0000:00:19.0
    f2600000-f261ffff : e1000e
  f2620000-f2623fff : 0000:00:1b.0
    f2620000-f2623fff : ICH HD audio
  f2625000-f2625fff : 0000:00:19.0
    f2625000-f2625fff : e1000e
  f2626000-f2626fff : 0000:00:1f.6
  f2827000-f28277ff : 0000:00:1f.2
    f2827000-f28277ff : ahci
  f2827800-f282780f : 0000:00:16.0
  f2828000-f28283ff : 0000:00:1a.0
    f2828000-f28283ff : ehci_hcd
  f2828400-f28287ff : 0000:00:1d.0
    f2828400-f28287ff : ehci_hcd
  f2828800-f28288ff : 0000:00:1f.3
  f2900000-f29fffff : PCI Bus 0000:05
  feaff000-feafffff : reserved
    feaff000-feafffff : pnp 00:03
fec00000-fec0ffff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : reserved
fed10000-fed13fff : pnp 00:03
fed18000-fed18fff : pnp 00:03
fed19000-fed19fff : pnp 00:03
fed1c000-fed8ffff : reserved
  fed1c000-fed1ffff : pnp 00:03
  fed45000-fed4bfff : pnp 00:03
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
100000000-17bffffff : System RAM
180000000-1bbffffff : System RAM