00000000-0000ffff : reserved
00010000-0009d7ff : System RAM
0009d800-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cefff : Video ROM
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-bac8efff : System RAM
  01000000-014038fe : Kernel code
  014038ff-0187d2ff : Kernel data
  018f9000-019cbfff : Kernel bss
bac8f000-bade1fff : reserved
bade2000-bade9fff : ACPI Non-volatile Storage
badea000-baf1efff : reserved
baf1f000-baf9efff : ACPI Non-volatile Storage
baf9f000-baffefff : ACPI Tables
bafff000-baffffff : System RAM
bb000000-bf9fffff : reserved
bfa00000-feafffff : PCI Bus 0000:00
  c0000000-d3ffffff : PCI Bus 0000:01
    c0000000-cfffffff : 0000:01:00.0
    d0000000-d3ffffff : 0000:01:00.0
  e0000000-efffffff : 0000:00:02.0
  f0000000-f20fffff : PCI Bus 0000:01
    f0000000-f1ffffff : 0000:01:00.0
    f2000000-f207ffff : 0000:01:00.0
  f2400000-f27fffff : 0000:00:02.0
  f2800000-f2ffffff : PCI Bus 0000:05
  f3000000-f30fffff : PCI Bus 0000:0a
    f3000000-f3003fff : 0000:0a:00.0
      f3000000-f3003fff : r8169
    f3004000-f3004fff : 0000:0a:00.0
      f3004000-f3004fff : r8169
  f3100000-f39fffff : PCI Bus 0000:05
  f3a00000-f3afffff : PCI Bus 0000:04
    f3a00000-f3a01fff : 0000:04:00.0
      f3a00000-f3a01fff : xhci_hcd
  f3b00000-f3bfffff : PCI Bus 0000:03
    f3b00000-f3b01fff : 0000:03:00.0
      f3b00000-f3b01fff : iwlwifi
  f3c00000-f3c03fff : 0000:00:1b.0
    f3c00000-f3c03fff : ICH HD audio
  f3c04000-f3c040ff : 0000:00:1f.3
  f3c05000-f3c0500f : 0000:00:16.0
    f3c05000-f3c0500f : mei
  f3c08000-f3c087ff : 0000:00:1f.2
    f3c08000-f3c087ff : ahci
  f3c09000-f3c093ff : 0000:00:1d.0
    f3c09000-f3c093ff : ehci_hcd
  f3c0a000-f3c0a3ff : 0000:00:1a.0
    f3c0a000-f3c0a3ff : ehci_hcd
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
    f8000000-fbffffff : reserved
      f8000000-fbffffff : pnp 00:09
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed08000-fed08fff : reserved
fed10000-fed19fff : reserved
  fed10000-fed17fff : pnp 00:09
  fed18000-fed18fff : pnp 00:09
  fed19000-fed19fff : pnp 00:09
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:09
fed20000-fed3ffff : pnp 00:09
fed40000-fed44fff : PCI Bus 0000:00
fed45000-fed8ffff : pnp 00:09
fed90000-fed93fff : pnp 00:09
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ffd80000-ffffffff : reserved
100000000-23e9fefff : System RAM
23e9ff000-23fdfffff : reserved
23fe00000-23fffffff : RAM buffer