00000000-00000fff : reserved
00001000-0009f7ff : System RAM
0009f800-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000ce400-000e3fff : pnp 00:09
000e8000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-dd7a173f : System RAM
  01000000-01707dbb : Kernel code
  01707dbc-01d1583f : Kernel data
  01e55000-01f97fff : Kernel bss
dd7a1740-dd7a379f : ACPI Non-volatile Storage
dd7a37a0-dfffffff : reserved
  de000000-dfffffff : Graphics Stolen Memory
e0000000-f3ffffff : PCI Bus 0000:00
  e0000000-efffffff : 0000:00:02.0
  f0000000-f03fffff : 0000:00:02.0
  f0400000-f04fffff : 0000:00:02.1
  f0500000-f051ffff : 0000:00:19.0
    f0500000-f051ffff : e1000e
  f0520000-f0523fff : 0000:00:1b.0
    f0520000-f0523fff : ICH HD audio
  f0524000-f0524fff : 0000:00:03.3
  f0525000-f0525fff : 0000:00:19.0
    f0525000-f0525fff : e1000e
  f0526000-f05267ff : 0000:00:1f.2
    f0526000-f05267ff : ahci
  f0527000-f05273ff : 0000:00:1a.7
    f0527000-f05273ff : ehci_hcd
  f0528000-f05283ff : 0000:00:1d.7
    f0528000-f05283ff : ehci_hcd
  f052a000-f052a00f : 0000:00:03.0
    f052a000-f052a00f : mei_me
f4000000-f7ffffff : PCI MMCONFIG 0000 [bus 00-3f]
  f4000000-f7ffffff : reserved
    f4000000-f7ffffff : pnp 00:09
f8000000-febfffff : PCI Bus 0000:00
  f8000000-f81fffff : PCI Bus 0000:20
  f8200000-f83fffff : PCI Bus 0000:20
  f8400000-f85fffff : PCI Bus 0000:30
  f8600000-f87fffff : PCI Bus 0000:30
  f8800000-f8800fff : Intel Flush Page
fec00000-fed3ffff : reserved
  fec00000-fec00fff : PNP0003:00
    fec00000-fec003ff : IOAPIC 0
  fec01000-fecfffff : pnp 00:09
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
  fed00400-fed3ffff : pnp 00:09
    fed1f410-fed1f414 : iTCO_wdt
fed40000-fed44fff : PCI Bus 0000:00
fed45000-ffffffff : reserved
  fee00000-fee00fff : Local APIC
100000000-10fffffff : System RAM
