00000000-00000fff : reserved
00001000-0009dbff : System RAM
0009dc00-0009ffff : reserved
000c0000-000c8bff : Video ROM
000c9000-000c97ff : Adapter ROM
000c9800-000cb9ff : Adapter ROM
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7fffcfff : System RAM
  01000000-01533564 : Kernel code
  01533565-01c0cc4f : Kernel data
  01d58000-0201faa3 : Kernel bss
  03000000-0b0fffff : Crash kernel
7fffd000-7fffffff : reserved
f0000000-f1ffffff : 0000:00:02.0
f2000000-f2000fff : 0000:00:02.0
f2010000-f201ffff : 0000:00:02.0
f2020000-f2020fff : 0000:00:03.0
  f2020000-f2020fff : virtio-pci
f2030000-f203ffff : 0000:00:03.0
f2040000-f2040fff : 0000:00:04.0
  f2040000-f2040fff : virtio-pci
fec00000-fec003ff : IOAPIC 0
fee00000-fee00fff : Local APIC
fffbc000-ffffffff : reserved
