00000000-00000fff : Reserved
00001000-0008efff : System RAM
0008f000-0008ffff : ACPI Non-volatile Storage
00090000-0009dfff : System RAM
0009e000-0009ffff : Reserved
000a0000-000fffff : PCI Bus 0000:00
  000c0000-000dffff : 0000:00:02.0
  000f0000-000fffff : System ROM
00100000-1fffffff : System RAM
  0b000000-0c1fffff : Kernel code
  0c200000-0ce0bfff : Kernel rodata
  0d000000-0d29587f : Kernel data
  0dbce000-0dffffff : Kernel bss
20000000-200fffff : Reserved
  20000000-200fffff : 80860F28:00
20100000-76b59fff : System RAM
76b5a000-76b9bfff : Reserved
76b9c000-788b0fff : System RAM
788b1000-78ab0fff : Unknown E820 type
78ab1000-791b0fff : Reserved
791b1000-792b0fff : ACPI Non-volatile Storage
792b1000-792f0fff : ACPI Tables
792f1000-79ffffff : System RAM
7a000000-7aefffff : RAM buffer
7af00000-7ef00000 : Reserved
  7af00001-7ef00000 : PCI Bus 0000:00
    7af00001-7eeffffe : Graphics Stolen Memory
7ff00000-7ff00fff : MSFT0101:00
80000000-90cffffe : PCI Bus 0000:00
  80000000-8fffffff : 0000:00:02.0
  90000000-903fffff : 0000:00:03.0
  90400000-907fffff : 0000:00:02.0
    905e5000-905e5fff : hdmi-lpe-audio-mmio
  90a00000-90afffff : 0000:00:1a.0
    90a00000-90afffff : mei_txe
  90b00000-90bfffff : 0000:00:1a.0
    90b00000-90bfffff : mei_txe
  90c00000-90c0ffff : 0000:00:14.0
    90c00000-90c0ffff : xhci-hcd
90d00000-90d00fff : 80860F28:00
90d01000-90d01fff : INT33BB:00
  90d01000-90d01fff : INT33BB:00
90d03000-90d03fff : 80860F14:01
  90d03000-90d03fff : 80860F14:01
90d06000-90d06fff : 80860F41:00
  90d06000-90d06fff : 80860F41:00 80860F41:00
90d08000-90d0bfff : INTL9C60:01
  90d08000-90d0bfff : INTL9C60:01 INTL9C60:01
90d0c000-90d0cfff : 80860F41:01
  90d0c000-90d0cfff : 80860F41:01 80860F41:01
90d0e000-90d0efff : 80860F41:02
  90d0e000-90d0efff : 80860F41:02 80860F41:02
90d10000-90d10fff : 80860F41:03
  90d10000-90d10fff : 80860F41:03 80860F41:03
90d12000-90d12fff : 80860F41:04
  90d12000-90d12fff : 80860F41:04 80860F41:04
90d14000-90d14fff : 80860F41:05
  90d14000-90d14fff : 80860F41:05 80860F41:05
90d16000-90d16fff : 80860F41:06
  90d16000-90d16fff : 80860F41:06 80860F41:06
90d18000-90d1bfff : INTL9C60:00
  90d18000-90d1bfff : INTL9C60:00 INTL9C60:00
90d1d000-90d1dfff : 80860F0A:00
  90d1d000-90d1dfff : serial
90d1f000-90d1ffff : 80860F0A:01
  90d1f000-90d1ffff : serial
90d21000-90d21fff : 80860F0E:00
  90d21000-90d21fff : 80860F0E:00 80860F0E:00
90d23000-90d23fff : 80860F14:00
  90d23000-90d23fff : 80860F14:00
90e00000-90ffffff : 80860F28:00
e00000d0-e00000db : INT33BD:00
e00f8000-e00f8fff : Reserved
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed01000-fed01fff : Reserved
  fed01000-fed011ff : intel-spi
fed03008-fed0300c : iTCO_wdt.3.auto
  fed03008-fed0300c : iTCO_wdt.3.auto iTCO_wdt.3.auto
fed05000-fed057ff : INT3401:00
fed0c000-fed0cfff : INT33FC:00
  fed0c000-fed0cfff : INT33FC:00 INT33FC:00
fed0d000-fed0dfff : INT33FC:01
  fed0d000-fed0dfff : INT33FC:01 INT33FC:01
fed0e000-fed0efff : INT33FC:02
  fed0e000-fed0efff : INT33FC:02 INT33FC:02
fed40000-fed40fff : PCI Bus 0000:00
ff000000-ffffffff : INT0800:00
