00000000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c7fff : Video ROM
000e0000-000effff : Extension ROM
000f0000-000fffff : System ROM
00100000-1ffc9fff : System RAM
  00100000-00279a3f : Kernel code
  00279a40-0030291f : Kernel data
1ffca000-1ffcffff : reserved
1ffd0000-1ffdffff : ACPI Tables
1ffe0000-1fffffff : reserved
20000000-200003ff : Intel Corp. 82801DB USB EHCI Controller
  20000000-200003ff : ehci-hcd
20000400-200007ff : PCI device 8086:24ca (Intel Corp.)
20000800-200009ff : Intel Corp. 82801DB AC'97 Audio
20000a00-20000aff : Intel Corp. 82801DB AC'97 Audio
20000c00-20000dff : Toshiba America Info Systems SD TypA Controller
20001000-20001fff : Toshiba America Info Systems ToPIC95 PCI to Cardbus Bridge with ZV Support
20400000-207fffff : PCI CardBus #04
20800000-20bfffff : PCI CardBus #04
60000000-60000fff : card services
c0000000-cfffffff : PCI device 8086:3340 (Intel Corp.)
dfdfe000-dfdfefff : PCI device 8086:1043 (Intel Corp.)
dfdff000-dfdfffff : Intel Corp. 82801BD PRO/100 VE (MOB) Ethernet Controller
  dfdff000-dfdfffff : e100
dff00000-f7ffffff : PCI Bus #01
  dfff8000-dfffffff : PCI device 1023:2100 (Trident Microsystems)
  e0000000-e7ffffff : PCI device 1023:2100 (Trident Microsystems)
  efc00000-efffffff : PCI device 1023:2100 (Trident Microsystems)
  f0000000-f7ffffff : PCI device 1023:2100 (Trident Microsystems)
feda0000-fedbffff : reserved
ffb80000-ffbfffff : reserved
fff00000-ffffffff : reserved
