00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c99ff : Video ROM
000ca000-000cadff : Adapter ROM
000cb000-000cd3ff : Adapter ROM
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-bffdafff : System RAM
  01000000-01557034 : Kernel code
  01557035-01c2170f : Kernel data
  01d77000-02045963 : Kernel bss
  03000000-0b0fffff : System RAM
bffdb000-bfffffff : reserved
c0000000-febfffff : PCI Bus 0000:00
  fe000000-fe7fffff : 0000:00:02.0
  fe800000-fe803fff : 0000:00:02.0
  fe804000-fe807fff : 0000:00:03.0
    fe804000-fe807fff : virtio-pci
  fe808000-fe80bfff : 0000:00:04.0
    fe808000-fe80bfff : virtio-pci
  fe80c000-fe80ffff : 0000:00:05.0
    fe80c000-fe80ffff : virtio-pci
  fe810000-fe813fff : 0000:00:06.0
    fe810000-fe813fff : virtio-pci
  fe814000-fe817fff : 0000:00:07.0
    fe814000-fe817fff : virtio-pci
  feb00000-feb7ffff : 0000:00:03.0
  feb80000-feb8ffff : 0000:00:02.0
  feb90000-feb90fff : 0000:00:02.0
  feb91000-feb91fff : 0000:00:03.0
    feb91000-feb91fff : virtio-pci
  feb92000-feb92fff : 0000:00:04.0
    feb92000-feb92fff : virtio-pci
  feb93000-feb93fff : 0000:00:05.0
    feb93000-feb93fff : virtio-pci
  feb94000-feb94fff : 0000:00:07.0
    feb94000-feb94fff : virtio-pci
fec00000-fec003ff : IOAPIC 0
fee00000-fee00fff : Local APIC
feffc000-feffffff : reserved
fffc0000-ffffffff : reserved
100000000-1c0bfffff : System RAM
1c0c00000-1c3ffffff : RAM buffer
200000000-27fffffff : PCI Bus 0000:00