00000000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000ccfff : Video ROM
000f0000-000fffff : System ROM
00100000-1ff2ffff : System RAM
  00100000-003d9bd5 : Kernel code
  003d9bd6-004f21ff : Kernel data
1ff30000-1ff3ffff : ACPI Tables
1ff40000-1ffeffff : ACPI Non-volatile Storage
1fff0000-1fffffff : reserved
20000000-200003ff : 0000:00:1f.1
cff00000-efefffff : PCI Bus #01
  d8000000-dfffffff : 0000:01:00.1
  e0000000-e7ffffff : 0000:01:00.0
    e0000000-e7ffffff : vesafb
f0000000-f7ffffff : 0000:00:00.0
ff800000-ff8fffff : PCI Bus #01
  ff8e0000-ff8effff : 0000:01:00.1
  ff8f0000-ff8fffff : 0000:01:00.0
ff9ffc00-ff9ffcff : 0000:02:05.0
  ff9ffc00-ff9ffcff : 8139too
ffaff400-ffaff4ff : 0000:00:1f.5
  ffaff400-ffaff4ff : Intel ICH5
ffaff800-ffaff9ff : 0000:00:1f.5
  ffaff800-ffaff9ff : Intel ICH5
ffaffc00-ffafffff : 0000:00:1d.7
  ffaffc00-ffafffff : ehci_hcd
ffba0000-ffffffff : reserved