00000000-00000fff : reserved
00001000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cffff : pnp 00:0b
000d0000-000dffff : PCI Bus 0000:00
000e0000-000fffff : pnp 00:0b
00100000-7dabf3ff : System RAM
  01000000-014170ff : Kernel code
  01417100-018d915f : Kernel data
  01aee000-01c3c71f : Kernel bss
7dabf400-7dac13ff : ACPI Non-volatile Storage
7dac1400-7fffffff : reserved
  7db00000-7dbfffff : pnp 00:0b
80000000-f7ffffff : PCI Bus 0000:00
  80000000-801fffff : PCI Bus 0000:0b
  80200000-803fffff : PCI Bus 0000:0b
  80400000-805fffff : PCI Bus 0000:0c
  80600000-807fffff : PCI Bus 0000:09
  80800000-80800fff : Intel Flush Page
  e0000000-efffffff : 0000:00:02.0
  f0000000-f01fffff : PCI Bus 0000:0d
  f6600000-f67fffff : PCI Bus 0000:0d
  f6800000-f68fffff : PCI Bus 0000:09
    f68fc000-f68fffff : 0000:09:00.0
      f68fc000-f68fffff : sky2
  f6900000-f69fffff : PCI Bus 0000:0c
    f69fc000-f69fffff : 0000:0c:00.0
  f6afbf00-f6afbfff : 0000:00:1f.3
  f6afc000-f6afffff : 0000:00:1b.0
    f6afc000-f6afffff : ICH HD audio
  f6b00000-f6bfffff : 0000:00:02.1
  f6c00000-f6ffffff : 0000:00:02.0
f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
  f8000000-fbffffff : reserved
    f8000000-fbffffff : pnp 00:0b
fc000000-febfffff : PCI Bus 0000:00
fec00000-fec0ffff : reserved
  fec00000-fec003ff : IOAPIC 0
fec10000-fecfffff : PCI Bus 0000:00
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : pnp 00:08
fed18000-fed1bfff : reserved
  fed18000-fed1bfff : pnp 00:0b
fed1c000-fed1ffff : PCI Bus 0000:00
  fed1c000-fed1c3ff : 0000:00:1d.7
    fed1c000-fed1c3ff : ehci_hcd
  fed1c400-fed1c7ff : 0000:00:1a.7
    fed1c400-fed1c7ff : ehci_hcd
  fed1c800-fed1cfff : 0000:00:1f.2
    fed1c800-fed1cfff : pnp 00:0b
      fed1c800-fed1cfff : ahci
fed20000-fed8ffff : reserved
  fed20000-fed8ffff : pnp 00:0b
fed90000-fed9ffff : PCI Bus 0000:00
feda0000-feda5fff : reserved
  feda0000-feda3fff : pnp 00:0b
  feda4000-feda4fff : pnp 00:0b
  feda5000-feda5fff : pnp 00:0b
feda6000-feda6fff : pnp 00:0b
feda7000-fedfffff : PCI Bus 0000:00
fee00000-fee0ffff : reserved
  fee00000-fee0ffff : pnp 00:0b
    fee00000-fee00fff : Local APIC
fee10000-ff9fffff : PCI Bus 0000:00
ffa00000-ffbfffff : pnp 00:0b
ffc00000-ffdfffff : PCI Bus 0000:00
ffe00000-ffffffff : reserved
  ffe00000-ffffffff : pnp 00:0b