00000000-00000fff : Reserved
00001000-00057fff : System RAM
00058000-00058fff : Reserved
00059000-0009bfff : System RAM
0009c000-0009cfff : Reserved
0009d000-0009dfff : System RAM
0009e000-000bffff : Reserved
000a0000-000fffff : PCI Bus 0000:00
  000c0000-000dffff : 0000:00:02.0
  000f0000-000fffff : System ROM
00100000-62e30fff : System RAM
  4b000000-4c1fffff : Kernel code
  4c200000-4cdf7fff : Kernel rodata
  4ce00000-4d0958ff : Kernel data
  4d9c5000-4ddfffff : Kernel bss
62e31000-63032fff : Reserved
63033000-d4ccffff : System RAM
d4cd0000-d4cfffff : Reserved
d4d00000-db8d3fff : System RAM
db8d4000-dba33fff : Unknown E820 type
dba34000-dce7efff : Reserved
dce7f000-dcf7efff : ACPI Non-volatile Storage
dcf7f000-dcffefff : ACPI Tables
dcfff000-dcffffff : System RAM
dd000000-df9fffff : Reserved
  dda00000-df9fffff : Graphics Stolen Memory
dfa00000-feafffff : PCI Bus 0000:00
  dfa10000-dfa1ffff : pnp 00:04
  e0000000-efffffff : 0000:00:02.0
  f0000000-f03fffff : 0000:00:02.0
  f0400000-f04fffff : PCI Bus 0000:05
    f0400000-f0400fff : 0000:05:00.0
      f0400000-f0400fff : rtsx_pci
  f0500000-f05fffff : PCI Bus 0000:04
    f0500000-f0501fff : 0000:04:00.0
      f0500000-f0501fff : iwlwifi
  f0600000-f06fffff : PCI Bus 0000:03
    f0600000-f0603fff : 0000:03:00.0
    f0604000-f0604fff : 0000:03:00.0
      f0604000-f0604fff : r8169
  f0700000-f070ffff : 0000:00:14.0
    f0700000-f070ffff : xhci-hcd
  f0710000-f0713fff : 0000:00:03.0
    f0710000-f0713fff : ICH HD audio
  f0714000-f0717fff : 0000:00:1b.0
    f0714000-f0717fff : ICH HD audio
  f0718000-f07180ff : 0000:00:1f.3
  f0719000-f071901f : 0000:00:16.0
    f0719000-f071901f : mei_me
  f071c000-f071c7ff : 0000:00:1f.2
    f071c000-f071c7ff : ahci
  f071d000-f071d3ff : 0000:00:1d.0
    f071d000-f071d3ff : ehci_hcd
  f8000000-fbffffff : PCI ECAM 0000 [bus 00-3f]
    f80f8000-f80f8fff : Reserved
  fe101000-fe112fff : Reserved
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:04
fed18000-fed18fff : pnp 00:04
fed19000-fed19fff : pnp 00:04
fed1c000-fed1ffff : Reserved
  fed1c000-fed1ffff : pnp 00:04
    fed1f410-fed1f414 : iTCO_wdt.1.auto
      fed1f410-fed1f414 : iTCO_wdt.1.auto iTCO_wdt.1.auto
    fed1f800-fed1f9ff : intel-spi
fed20000-fed3ffff : pnp 00:04
fed45000-fed8ffff : pnp 00:04
fed90000-fed93fff : pnp 00:04
fee00000-feefffff : pnp 00:04
ff000000-ffffffff : INT0800:00
  ff000000-ffffffff : pnp 00:04
100000000-11f5fffff : System RAM
11f600000-11fffffff : RAM buffer
