00010000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c99ff : Video ROM
000ca000-000cadff : Adapter ROM
000cb000-000cbdff : Adapter ROM
000cc000-000ce3ff : Adapter ROM
000f0000-000fffff : System ROM
00100000-bffdffff : System RAM
  00400000-0062be9b : Kernel code
  0062be9c-007129fb : Kernel data
bffe0000-bfffffff : reserved
fc000000-fdffffff : 0000:00:02.0
fe000000-fe003fff : 0000:00:05.0
  fe000000-fe003fff : virtio-pci
fe004000-fe007fff : 0000:00:06.0
  fe004000-fe007fff : virtio-pci
fea80000-feafffff : 0000:00:03.0
feb00000-feb7ffff : 0000:00:04.0
feb80000-feb9ffff : 0000:00:03.0
  feb80000-feb9ffff : e1000
feba0000-febbffff : 0000:00:04.0
  feba0000-febbffff : e1000
febc0000-febcffff : 0000:00:02.0
febd0000-febd0fff : 0000:00:02.0
febd1000-febd1fff : 0000:00:05.0
  febd1000-febd1fff : virtio-pci
febd2000-febd200f : 0000:00:07.0
  febd2000-febd200f : i6300ESB timer
feffc000-feffffff : reserved
fffc0000-ffffffff : reserved