00000000-00000fff : reserved
00001000-0009dfff : System RAM
0009e000-0009ffff : reserved
000c0000-000c8bff : Video ROM
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-efffffff : System RAM
  01000000-015752e7 : Kernel code
  015752e8-01c2480f : Kernel data
  01dba000-0208c3e3 : Kernel bss
  03000000-0b1fffff : System RAM
f8000000-f9ffffff : 0000:00:02.0
fa000000-faffffff : 0000:00:03.0
  fa000000-faffffff : xen-platform-pci
fbfff000-fbffffff : 0000:00:02.0
fc000000-ffffffff : reserved
  fec00000-fec003ff : IOAPIC 0
  fed00000-fed003ff : HPET 0
  fee00000-fee00fff : Local APIC
100000000-78fffffff : System RAM