00000000-0009ffff : System RAM
000a0000-000bffff : Video RAM area
000c0000-000c7fff : Video ROM
000f0000-000fffff : System ROM
00100000-05ffffff : System RAM
  00100000-001defd1 : Kernel code
  001defd2-00216c5f : Kernel data
fa800000-fa80ffff : PCI device 1023:9440
fb000000-fb1fffff : PCI device 1023:9440
ffff0000-ffffffff : reserved
