00000000-00000fff : reserved
00001000-0009f7ff : System RAM
0009f800-0009ffff : reserved
000cce00-000cffff : pnp 00:0c
000e0000-000effff : pnp 00:0c
000f0000-000fffff : reserved
00100000-7fedffff : System RAM
  01000000-015c0cc8 : Kernel code
  015c0cc9-01aeeca7 : Kernel data
  01d33000-0264cc87 : Kernel bss
7fee0000-7fee2fff : ACPI Non-volatile Storage
7fee3000-7feeffff : ACPI Tables
7fef0000-7fefffff : reserved
7ff00000-7fffffff : RAM buffer
80000000-801fffff : PCI Bus 0000:02
80200000-803fffff : PCI Bus 0000:02
80400000-805fffff : PCI Bus 0000:03
80600000-807fffff : PCI Bus 0000:04
  80600000-8061ffff : 0000:04:00.0
e0000000-efffffff : PCI Bus 0000:01
  e0000000-efffffff : 0000:01:00.0
f0000000-f3ffffff : PCI MMCONFIG 0000 [bus 00-3f]
  f0000000-f3ffffff : reserved
    f0000000-f3ffffff : pnp 00:0b
f4000000-f7ffffff : PCI Bus 0000:01
  f4000000-f5ffffff : 0000:01:00.0
  f6000000-f6ffffff : 0000:01:00.0
  f7000000-f701ffff : 0000:01:00.0
f8000000-f9ffffff : PCI Bus 0000:04
  f9000000-f9000fff : 0000:04:00.0
    f9000000-f9000fff : r8169
fa000000-fa0fffff : PCI Bus 0000:03
  fa000000-fa001fff : 0000:03:00.0
fa100000-fa1fffff : PCI Bus 0000:05
  fa100000-fa103fff : 0000:05:06.0
  fa104000-fa1047ff : 0000:05:06.0
    fa104000-fa1047ff : firewire_ohci
  fa105000-fa1051ff : 0000:05:00.0
    fa105000-fa1051ff : saa7146
fa200000-fa203fff : 0000:00:1b.0
  fa200000-fa203fff : ICH HD audio
fa204000-fa2043ff : 0000:00:1d.7
  fa204000-fa2043ff : ehci_hcd
fa205000-fa2053ff : 0000:00:1a.7
  fa205000-fa2053ff : ehci_hcd
fa206000-fa2060ff : 0000:00:1f.3
fec00000-ffffffff : reserved
  fec00000-fec003ff : IOAPIC 0
  fed00000-fed003ff : HPET 0
  fed10000-fed1dfff : pnp 00:0c
  fed20000-fed8ffff : pnp 00:0c
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:0c
  ffb00000-ffb7ffff : pnp 00:0c
  fff00000-ffffffff : pnp 00:0c
