00000000-00000fff : Reserved
00001000-0009dfff : System RAM
0009e000-0009efff : Reserved
0009f000-0009ffff : System RAM
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000e3fff : PCI Bus 0000:00
  000e4000-000e7fff : PCI Bus 0000:00
  000e8000-000ebfff : PCI Bus 0000:00
  000ec000-000effff : PCI Bus 0000:00
  000f0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-2f1c7fff : System RAM
  04000000-04e02341 : Kernel code
  05000000-05826fff : Kernel rodata
  05a00000-05cacdff : Kernel data
  0639d000-073fffff : Kernel bss
2f1c8000-2f20cfff : Reserved
2f20d000-33e0efff : System RAM
33e0f000-33e0ffff : Reserved
33e10000-35b1efff : System RAM
35b1f000-38c1efff : Reserved
38c1f000-38e8afff : ACPI Tables
38e8b000-39356fff : ACPI Non-volatile Storage
39357000-39f65fff : Reserved
39f66000-39ffefff : Unknown E820 type
39fff000-39ffffff : System RAM
3a000000-3dffffff : Reserved
3ee00000-3fffffff : Reserved
40000000-bfffffff : PCI Bus 0000:00
  40000000-51ffffff : PCI Bus 0000:01
    40000000-4fffffff : 0000:01:00.0
      40000000-402fffff : BOOTFB
    50000000-51ffffff : 0000:01:00.0
  52000000-53ffffff : 0000:00:0e.0
    52000000-53ffffff : VMD MEMBAR1
      52000000-520fffff : PCI Bus 10000:e1
        52000000-52003fff : 10000:e1:00.0
          52000000-52003fff : nvme
      52100000-52101fff : 10000:e0:17.0
        52100000-52101fff : ahci
      52102000-521027ff : 10000:e0:17.0
        52102000-521027ff : ahci
      52102800-521028ff : 10000:e0:17.0
        52102800-521028ff : ahci
  54000000-55ffffff : 0000:00:0e.0
  56000000-570fffff : PCI Bus 0000:01
    56000000-56ffffff : 0000:01:00.0
    57000000-5707ffff : 0000:01:00.0
    57080000-57083fff : 0000:01:00.1
      57080000-57083fff : ICH HD audio
  57100000-571fffff : 0000:00:1f.3
    57100000-571fffff : ICH HD audio
  57200000-572fffff : 0000:00:0e.0
    57202000-572fffff : VMD MEMBAR2
  57300000-573fffff : PCI Bus 0000:03
    57300000-57303fff : 0000:03:00.0
    57304000-57304fff : 0000:03:00.0
      57304000-57304fff : r8169
  57400000-5740ffff : 0000:00:14.0
    57400000-5740ffff : xhci-hcd
  57410000-57413fff : 0000:00:1f.3
    57410000-57413fff : ICH HD audio
  57414000-57417fff : 0000:00:14.2
  57418000-574180ff : 0000:00:1f.4
  57419000-57419fff : 0000:00:19.1
  5741a000-5741afff : 0000:00:19.0
  5741b000-5741bfff : 0000:00:16.0
    5741b000-5741bfff : mei_me
  5741c000-5741cfff : 0000:00:15.0
  5741d000-5741dfff : 0000:00:15.1
  5741e000-5741efff : 0000:00:15.2
  5741f000-5741ffff : 0000:00:15.3
  57420000-57420fff : 0000:00:14.2
  57421000-57421fff : 0000:00:1f.5
  57500000-576fffff : PCI Bus 0000:02
  57700000-578fffff : PCI Bus 0000:02
c0000000-cfffffff : Reserved
  c0000000-cfffffff : pnp 00:04
    c0000000-ce0fffff : PCI MMCONFIG 0000 [bus 00-e0]
e0690000-e069ffff : INTC1085:00
e06a0000-e06affff : INTC1085:00
e06b0000-e06bffff : INTC1085:00
e06d0000-e06dffff : INTC1085:00
e06e0000-e06effff : INTC1085:00
fc000000-fc00ffff : Reserved
  fc000000-fc00ffff : pnp 00:05
fe000000-fe010fff : Reserved
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
  fed40000-fed44fff : MSFT0101:00
    fed40000-fed44fff : MSFT0101:00
fed90000-fed93fff : pnp 00:04
feda0000-feda0fff : pnp 00:04
feda1000-feda1fff : pnp 00:04
fedc0000-fedc7fff : pnp 00:04
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
100000000-4bfffffff : System RAM
