00000000-00000fff : reserved
00001000-0006efff : System RAM
0006f000-0006ffff : reserved
00070000-00087fff : System RAM
00088000-000bffff : reserved
  000a0000-000bffff : PCI Bus 0000:00
000c0000-000c3fff : PCI Bus 0000:00
000c4000-000c7fff : PCI Bus 0000:00
000c8000-000cbfff : PCI Bus 0000:00
000cc000-000cffff : PCI Bus 0000:00
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-9269efff : System RAM
  02000000-0277ad18 : Kernel code
  0277ad19-02d1ed3f : Kernel data
  02e7b000-02fe0fff : Kernel bss
9269f000-9289efff : reserved
9289f000-92eaefff : reserved
92eaf000-92faefff : ACPI Non-volatile Storage
92faf000-92ffefff : ACPI Tables
92fff000-92ffffff : System RAM
93000000-9f9fffff : reserved
  9da00000-9f9fffff : Graphics Stolen Memory
9fa00000-feafffff : PCI Bus 0000:00
  9fa10000-9fa1ffff : pnp 00:06
  9fa22000-9fa22fff : pnp 00:06
  9fb00000-9fcfffff : PCI Bus 0000:01
  9fd00000-9fefffff : PCI Bus 0000:01
  a0000000-afffffff : 0000:00:02.0
  b0000000-b03fffff : 0000:00:02.0
  b0400000-b04fffff : PCI Bus 0000:03
    b0400000-b040ffff : 0000:03:00.1
    b0410000-b041ffff : 0000:03:00.0
      b0410000-b041ffff : 0000:03:00.0
  b0500000-b05fffff : PCI Bus 0000:02
    b0500000-b0500fff : 0000:02:00.0
  b0600000-b060ffff : 0000:00:14.0
    b0600000-b060ffff : xhci_hcd
  b0610000-b0613fff : 0000:00:03.0
    b0610000-b0613fff : ICH HD audio
  b0614000-b0617fff : 0000:00:1b.0
    b0614000-b0617fff : ICH HD audio
  b0618000-b061801f : 0000:00:16.0
    b0618000-b061801f : mei_me
  b0619000-b06190ff : 0000:00:1f.3
  b061b000-b061b7ff : 0000:00:1f.2
    b061b000-b061b7ff : ahci
  b061c000-b061c3ff : 0000:00:1d.0
    b061c000-b061c3ff : ehci_hcd
  e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
    e0000000-efffffff : reserved
      e0000000-efffffff : pnp 00:06
  fe101000-fe112fff : reserved
feb00000-feb0ffff : reserved
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fee00fff : reserved
  fed00000-fed003ff : HPET 0
  fed10000-fed17fff : pnp 00:06
  fed18000-fed18fff : pnp 00:06
  fed19000-fed19fff : pnp 00:06
  fed1c000-fed1ffff : pnp 00:06
    fed1f410-fed1f414 : iTCO_wdt
  fed20000-fed3ffff : pnp 00:06
  fed90000-fed93fff : pnp 00:06
  fee00000-fee00fff : Local APIC
ffb00000-ffffffff : reserved
100000000-15f5fffff : System RAM
15f600000-15fffffff : RAM buffer