00000000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c7fff : Video ROM
000cf000-000cffff : Adapter ROM
000f0000-000fffff : System ROM
00100000-2f7d37ff : System RAM
  00100000-0047d766 : Kernel code
  0047d767-005c0afb : Kernel data
2f7d3800-2fffffff : reserved
40000000-41ffffff : PCI Bus #02
  40000000-41ffffff : PCI CardBus #03
42000000-43ffffff : PCI CardBus #03
c0000000-cfffffff : 0000:00:02.0
dfd00000-dfdfffff : PCI Bus #02
  dfd00000-dfd00fff : 0000:02:01.0
  dfdfd000-dfdfdfff : 0000:02:08.0
    dfdfd000-dfdfdfff : e100
  dfdfe000-dfdfffff : 0000:02:03.0
dfebfd00-dfebfdff : 0000:00:1e.2
  dfebfd00-dfebfdff : Intel ICH6
dfebfe00-dfebffff : 0000:00:1e.2
  dfebfe00-dfebffff : Intel ICH6
dfec0000-dfefffff : 0000:00:02.0
dff00000-dff7ffff : 0000:00:02.0
dff80000-dfffffff : 0000:00:02.1
e0000000-f0006fff : reserved
f0008000-f000bfff : reserved
fec00000-fec0ffff : reserved
fed20000-fee0ffff : reserved
ffa80800-ffa80bff : 0000:00:1d.7
  ffa80800-ffa80bff : ehci_hcd
ffb00000-ffffffff : reserved