00000000-00000fff : Reserved
00001000-0009ffff : System RAM
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-007fffff : System RAM
00800000-00807fff : ACPI Non-volatile Storage
00808000-0080ffff : System RAM
00810000-008fffff : ACPI Non-volatile Storage
00900000-be762fff : System RAM
  01000000-01c00e30 : Kernel code
  01c00e31-0263093f : Kernel data
  02c93000-031fffff : Kernel bss
be763000-be774fff : ACPI Non-volatile Storage
be775000-be793fff : Reserved
be794000-be9d5fff : System RAM
be9d6000-beb1afff : Reserved
beb1b000-bfb9afff : System RAM
bfb9b000-bfbf2fff : Reserved
bfbf3000-bfbfafff : ACPI Tables
bfbfb000-bfbfefff : ACPI Non-volatile Storage
bfbff000-bff4ffff : System RAM
bff50000-bff6ffff : Reserved
bff70000-bfffffff : ACPI Non-volatile Storage
c0000000-febfffff : PCI Bus 0000:00
  c0000000-c0ffffff : 0000:00:02.0
  c1000000-c103ffff : 0000:00:04.0
  c1040000-c105ffff : 0000:00:04.0
  c1060000-c107ffff : 0000:00:04.0
  c1080000-c1083fff : 0000:00:04.0
  c1084000-c1084fff : 0000:00:07.0
  c1085000-c1085fff : 0000:00:06.0
  c1086000-c1086fff : 0000:00:05.0
    c1086000-c1086fff : ehci_hcd
  c1087000-c1087fff : 0000:00:02.0
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fee00000-feefffff : Reserved
  fee00000-fee00fff : Local APIC
100000000-1403e1fff : System RAM
1403e2000-143ffffff : RAM buffer
800000000-87fffffff : PCI Bus 0000:00
  800000000-800003fff : 0000:00:06.0
    800000000-800003fff : virtio-pci-modern
  800004000-800007fff : 0000:00:07.0
    800004000-800007fff : virtio-pci-modern
fd00000000-ffffffffff : Reserved