00000000-00000fff : reserved
00001000-0009ebff : System RAM
0009ec00-0009ffff : RAM buffer
000a0000-000bffff : PCI Bus 0000:00
  000a0000-000bffff : reserved
000c0000-000effff : PCI Bus 0000:00
  000c0000-000effff : reserved
000f0000-000fffff : PCI Bus 0000:00
  000f0000-000fffff : reserved
00100000-bfe01bff : System RAM
  01000000-0154116d : Kernel code
  0154116e-01b996bf : Kernel data
  01c40000-01db1167 : Kernel bss
bfe01c00-bfe53bff : ACPI Non-volatile Storage
bfe53c00-bfe55bff : ACPI Tables
bfe55c00-dfffffff : reserved
  bff00000-dfffffff : PCI Bus 0000:00
    d0000000-dfffffff : PCI Bus 0000:01
      d0000000-dfffffff : 0000:01:00.0
e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
  e0000000-efffffff : reserved
f0000000-febfffff : PCI Bus 0000:00
  f0000000-f01fffff : PCI Bus 0000:03
  f0200000-f03fffff : PCI Bus 0000:04
  f0400000-f04007ff : 0000:00:1f.2
    f0400000-f04007ff : ahci
  f9d00000-f9dfffff : PCI Bus 0000:05
    f9dff000-f9dfffff : 0000:05:04.0
  f9e00000-f9efffff : PCI Bus 0000:04
    f9ef0000-f9efffff : 0000:04:00.0
      f9ef0000-f9efffff : tg3
  f9f00000-f9ffffff : PCI Bus 0000:03
  fa000000-fdefffff : PCI Bus 0000:01
    fa000000-fbffffff : 0000:01:00.0
    fc000000-fcffffff : 0000:01:00.0
    fde00000-fde1ffff : 0000:01:00.0
  fdffbb00-fdffbbff : 0000:00:1f.3
  fdffbc00-fdffbfff : 0000:00:1a.7
    fdffbc00-fdffbfff : ehci_hcd
  fdffc000-fdffffff : 0000:00:1b.0
    fdffc000-fdffffff : ICH HD audio
fec00000-fed003ff : reserved
  fec00000-fec003ff : IOAPIC 0
  fed00000-fed003ff : HPET 0
fed20000-fed9ffff : reserved
  fed20000-fed9ffff : PCI Bus 0000:00
fee00000-feefffff : reserved
  fee00000-fee00fff : Local APIC
ff97c000-ff97ffff : PCI Bus 0000:00
ff980800-ff980bff : PCI Bus 0000:00
  ff980800-ff980bff : 0000:00:1d.7
    ff980800-ff980bff : ehci_hcd
ffb00000-ffffffff : reserved
100000000-1bbffffff : System RAM