00010000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000c99ff : Video ROM
000ca000-000cadff : Adapter ROM
000cb000-000cd3ff : 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:04.0
  fe000000-fe003fff : virtio-pci
fe004000-fe007fff : 0000:00:05.0
  fe004000-fe007fff : virtio-pci
feb00000-feb7ffff : 0000:00:03.0
feb80000-feb9ffff : 0000:00:03.0
  feb80000-feb9ffff : e1000
feba0000-febaffff : 0000:00:02.0
febb0000-febb0fff : 0000:00:02.0
febb1000-febb1fff : 0000:00:04.0
  febb1000-febb1fff : virtio-pci
febb2000-febb200f : 0000:00:06.0
  febb2000-febb200f : i6300ESB timer
feffc000-feffffff : reserved
fffc0000-ffffffff : reserved
100000000-23fffffff : System RAM