00000000-00000fff : Reserved
00001000-00086fff : System RAM
00087000-00087fff : Reserved
00088000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cffff : PCI Bus 0000:00
000d0000-000effff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-972a5fff : System RAM
972a6000-97ba5fff : Reserved
97ba6000-97ca5fff : ACPI Non-volatile Storage
97ca6000-9c9c4fff : System RAM
9c9c5000-9cab8fff : Reserved
9cab9000-9efbefff : System RAM
9efbf000-9f1befff : Unknown E820 type
9f1bf000-9f8befff : Reserved
9f8bf000-9fbbefff : ACPI Non-volatile Storage
  9fbb6000-9fbb9fff : MSFT0101:00
  9fbba000-9fbbdfff : MSFT0101:00
9fbbf000-9fbfefff : ACPI Tables
9fbff000-9fbfffff : System RAM
9fc00000-9fffffff : RAM buffer
e0000000-f7ffffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:01.0
  f0000000-f07fffff : 0000:00:01.0
  f0800000-f09fffff : PCI Bus 0000:02
    f0800000-f09fffff : 0000:02:00.0
      f0800000-f09fffff : ath
  f0a00000-f0afffff : Reserved
  f0b00000-f0bfffff : 0000:00:08.0
    f0b00000-f0bfffff : ccp
  f0c00000-f0cfffff : PCI Bus 0000:01
    f0c00000-f0c03fff : 0000:01:00.0
    f0c04000-f0c04fff : 0000:01:00.0
      f0c04000-f0c04fff : r8169
  f0d00000-f0d3ffff : 0000:00:01.0
  f0d40000-f0d5ffff : 0000:00:08.0
    f0d40000-f0d5ffff : ccp
  f0d60000-f0d63fff : 0000:00:01.1
    f0d60000-f0d63fff : ICH HD audio
  f0d64000-f0d67fff : 0000:00:14.2
    f0d64000-f0d67fff : ICH HD audio
  f0d68000-f0d69fff : 0000:00:10.0
    f0d68000-f0d69fff : xhci-hcd
  f0d6a000-f0d6bfff : 0000:00:08.0
    f0d6a000-f0d6bfff : ccp
  f0d6c000-f0d6c3ff : 0000:00:11.0
    f0d6c000-f0d6c3ff : ahci
  f0d6d000-f0d6d0ff : 0000:00:14.7
    f0d6d000-f0d6d0ff : mmc0
  f0d6e000-f0d6e0ff : 0000:00:13.0
    f0d6e000-f0d6e0ff : ehci_hcd
  f0d6f000-f0d6f0ff : 0000:00:12.0
    f0d6f000-f0d6f0ff : ehci_hcd
  f0d70000-f0d70fff : 0000:00:08.0
    f0d70000-f0d70fff : ccp
f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
  f8000000-fbffffff : Reserved
fc000000-fed3ffff : PCI Bus 0000:00
  feb00000-feb00007 : SB800 TCO
  fec00000-fec00fff : Reserved
    fec00000-fec003ff : IOAPIC 0
  fec01000-fec013ff : IOAPIC 1
  fec10000-fec10fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed80000-fed80fff : Reserved
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
    fee00000-fee00fff : pnp 00:00
ff800000-ffffffff : Reserved
  ff800000-ffffffff : pnp 00:05
100000000-21effffff : System RAM
  116000000-116e01f81 : Kernel code
  117000000-11797bfff : Kernel rodata
  117a00000-117c871ff : Kernel data
  1183e9000-1193fffff : Kernel bss
21f000000-21fffffff : RAM buffer
