00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-87945fff : System RAM
87946000-87bb9fff : Reserved
87bba000-87d10fff : System RAM
87d11000-87d11fff : Reserved
87d12000-8b57efff : System RAM
8b57f000-8c3cffff : Reserved
8c3d0000-8c44cfff : ACPI Tables
8c44d000-8c579fff : ACPI Non-volatile Storage
8c57a000-8cb70fff : Reserved
8cb71000-8cc0dfff : Unknown E820 type
8cc0e000-8cc0efff : System RAM
8cc0f000-8fffffff : Reserved
  8e000000-8fffffff : Graphics Stolen Memory
90000000-dfffffff : PCI Bus 0000:00
  90000000-9fffffff : 0000:00:02.0
  a0000000-a0ffffff : 0000:00:02.0
  a1000000-a10fffff : 0000:00:1f.3
    a1000000-a10fffff : Audio DSP
  a1100000-a11fffff : PCI Bus 0000:02
    a1100000-a1103fff : 0000:02:00.0
      a1100000-a1103fff : nvme
  a1200000-a12fffff : PCI Bus 0000:01
    a1200000-a1201fff : 0000:01:00.0
      a1200000-a1201fff : iwlwifi
  a1300000-a131ffff : 0000:00:1f.6
    a1300000-a131ffff : e1000e
  a1320000-a132ffff : 0000:00:14.0
    a1320000-a132ffff : xhci-hcd
  a1330000-a1333fff : 0000:00:1f.3
    a1330000-a1333fff : Audio DSP
  a1334000-a1335fff : 0000:00:17.0
    a1334000-a1335fff : ahci
  a1336000-a1337fff : 0000:00:14.2
  a1338000-a13380ff : 0000:00:1f.4
  a1339000-a1339fff : 0000:00:15.0
    a1339000-a13391ff : lpss_dev
      a1339000-a13391ff : i2c_designware.0 lpss_dev
    a1339200-a13392ff : lpss_priv
    a1339800-a1339fff : idma64.0
      a1339800-a1339fff : idma64.0 idma64.0
  a133a000-a133afff : 0000:00:1e.0
  a133b000-a133bfff : 0000:00:1e.0
    a133b000-a133b1ff : lpss_dev
      a133b000-a133b1ff : serial
    a133b200-a133b2ff : lpss_priv
    a133b800-a133bfff : idma64.4
      a133b800-a133bfff : idma64.4 idma64.4
  a133c000-a133cfff : 0000:00:1a.0
    a133c000-a133cfff : mmc1
  a133d000-a133dfff : 0000:00:15.1
    a133d000-a133d1ff : lpss_dev
      a133d000-a133d1ff : i2c_designware.1 lpss_dev
    a133d200-a133d2ff : lpss_priv
    a133d800-a133dfff : idma64.1
      a133d800-a133dfff : idma64.1 idma64.1
  a133e000-a133e7ff : 0000:00:17.0
    a133e000-a133e7ff : ahci
  a133f000-a133f0ff : 0000:00:17.0
    a133f000-a133f0ff : ahci
  a1340000-a1340fff : 0000:00:16.0
    a1340000-a1340fff : mei_me
  a1341000-a1341fff : 0000:00:15.2
    a1341000-a13411ff : lpss_dev
      a1341000-a13411ff : i2c_designware.2 lpss_dev
    a1341200-a13412ff : lpss_priv
    a1341800-a1341fff : idma64.2
      a1341800-a1341fff : idma64.2 idma64.2
  a1342000-a1342fff : 0000:00:19.0
    a1342000-a13421ff : lpss_dev
      a1342000-a13421ff : i2c_designware.3 lpss_dev
    a1342200-a13422ff : lpss_priv
  a1343000-a1343fff : 0000:00:1e.2
    a1343000-a13431ff : lpss_dev
      a1343000-a13431ff : pxa2xx-spi.5 lpss_dev
    a1343200-a13432ff : lpss_priv
    a1343800-a1343fff : idma64.5
      a1343800-a1343fff : idma64.5 idma64.5
  a1344000-a1344fff : 0000:00:14.5
    a1344000-a1344fff : mmc0
  a1345000-a1345fff : 0000:00:14.2
  a1346000-a1346fff : 0000:00:12.0
    a1346000-a1346fff : Intel PCH thermal driver
  a1347000-a1347fff : 0000:00:08.0
e0000000-efffffff : PCI ECAM 0000 [bus 00-ff]
  e0000000-efffffff : pnp 00:02
fc800000-fe7fffff : PCI Bus 0000:00
  fd000000-fd69ffff : pnp 00:03
  fd6a0000-fd6affff : INT34BB:00
    fd6a0000-fd6affff : INT34BB:00 INT34BB:00
  fd6b0000-fd6cffff : pnp 00:03
  fd6d0000-fd6dffff : INT34BB:00
    fd6d0000-fd6dffff : INT34BB:00 INT34BB:00
  fd6e0000-fd6effff : INT34BB:00
    fd6e0000-fd6effff : INT34BB:00 INT34BB:00
  fd6f0000-fdffffff : pnp 00:03
  fe000000-fe010fff : Reserved
    fe010000-fe010fff : 0000:00:1f.5
  fe200000-fe7fffff : pnp 00:03
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:02
fed18000-fed18fff : pnp 00:02
fed19000-fed19fff : pnp 00:02
fed20000-fed3ffff : pnp 00:02
fed40000-fed44fff : MSFT0101:00
  fed40000-fed44fff : MSFT0101:00
fed45000-fed8ffff : pnp 00:02
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Reserved
ff000000-ffffffff : pnp 00:03
100000000-26dffffff : System RAM
  126000000-1271fffff : Kernel code
  127200000-127df7fff : Kernel rodata
  127e00000-1280958ff : Kernel data
  1289c5000-128dfffff : Kernel bss
26e000000-26fffffff : RAM buffer
