00000000-0009afff : System RAM
0009b000-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c99ff : Video ROM
000f0000-000fffff : System ROM
00100000-17faffff : System RAM
  00100000-0071ee99 : Kernel code
  0071ee9a-00915d3b : Kernel data
  0097f000-009ff62b : Kernel bss
17fb0000-17fbdfff : ACPI Tables
17fbe000-17fdffff : ACPI Non-volatile Storage
17fe0000-17ffffff : reserved
18000000-1fffffff : pnp 00:0c
c8000000-cfffffff : 0000:00:00.0
d0000000-dfffffff : PCI Bus #01
  d0000000-dfffffff : 0000:01:00.0
e0000000-efffffff : pnp 00:0d
f9fff800-f9fff8ff : 0000:00:12.0
  f9fff800-f9fff8ff : via-rhine
f9fffc00-f9fffcff : 0000:00:10.4
  f9fffc00-f9fffcff : ehci_hcd
fa000000-fbefffff : PCI Bus #01
  fa000000-faffffff : 0000:01:00.0
  fbef0000-fbefffff : 0000:01:00.0
fbffc000-fbffffff : 0000:20:01.0
  fbffc000-fbffffff : ICH HD audio
fec00000-fec00fff : reserved
fecc0000-fecc0fff : reserved
fed00000-fed003ff : HPET 0
fed02000-fed02fff : pnp 00:05
fee00000-fee00fff : pnp 00:0c
fff80000-ffffffff : reserved
