00000000-0009e7ff : System RAM
0009e800-0009ffff : reserved
000c0000-000cffff : pnp 00:0c
000e8000-000fffff : reserved
00100000-bd77ffff : System RAM
  01000000-012f1b58 : Kernel code
  012f1b59-014c2c5f : Kernel data
  0155d000-0166aa13 : Kernel bss
bd780000-bd78dfff : ACPI Tables
bd78e000-bd7cffff : ACPI Non-volatile Storage
bd7d0000-bd7dffff : reserved
bd7e0000-bd7ecfff : RAM buffer
bd7ed000-bdffffff : reserved
be000000-bfffffff : RAM buffer
c0000000-c01fffff : PCI Bus 0000:02
ce000000-dfffffff : PCI Bus 0000:01
  ce000000-cfffffff : 0000:01:00.0
    cf000000-cfdfffff : vesafb
  d0000000-dfffffff : 0000:01:00.0
e0000000-efffffff : PCI MMCONFIG 0 [00-ff]
  e0000000-efffffff : pnp 00:0b
f9800000-f98007ff : 0000:00:1f.2
  f9800000-f98007ff : ahci
f9a00000-f9a003ff : 0000:00:1d.0
  f9a00000-f9a003ff : ehci_hcd
f9c00000-f9c003ff : 0000:00:1a.0
  f9c00000-f9c003ff : ehci_hcd
f9ff8000-f9ffbfff : 0000:00:1b.0
f9fff800-f9fff8ff : 0000:00:1f.3
f9fffc00-f9fffc0f : 0000:00:16.0
fa000000-fbefffff : PCI Bus 0000:01
  fa000000-faffffff : 0000:01:00.0
  fbc00000-fbc03fff : 0000:01:00.1
  fbe80000-fbefffff : 0000:01:00.0
fbf00000-fbffffff : PCI Bus 0000:02
  fbff0000-fbffffff : 0000:02:00.0
fc000000-fcffffff : pnp 00:01
fd000000-fdffffff : pnp 00:01
fe000000-febfffff : pnp 00:01
fec00000-fec00fff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed14000-fed19fff : pnp 00:01
fed1c000-fed1ffff : pnp 00:08
fed20000-fed3ffff : pnp 00:08
  fed20000-fed3ffff : pnp 00:08
fed45000-fed89fff : pnp 00:08
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
    fee00000-fee00fff : pnp 00:0a
ffa00000-ffffffff : reserved
100000000-1bfffffff : System RAM
