00000000-0000ffff : reserved
00010000-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-7ffdafff : System RAM
  01000000-0135ccf0 : Kernel code
  0135ccf1-016a17ff : Kernel data
  0173d000-0181dfff : Kernel bss
7ffdb000-7fffffff : reserved
80000000-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
  feb80000-febbffff : 0000:00:03.0
  febc0000-febcffff : 0000:00:02.0
  febd0000-febd0fff : 0000:00:02.0
  febd1000-febd1fff : 0000:00:03.0
    febd1000-febd1fff : virtio-pci
  febd2000-febd2fff : 0000:00:04.0
    febd2000-febd2fff : virtio-pci
  febd3000-febd3fff : 0000:00:06.0
    febd3000-febd3fff : virtio-pci
fec00000-fec003ff : IOAPIC 0
fee00000-fee00fff : Local APIC
feffc000-feffffff : reserved
fffc0000-ffffffff : reserved
100000000-17fffffff : PCI Bus 0000:00
fd00000000-ffffffffff : reserved