00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-3bd99fff : System RAM
  01000000-01832d85 : Kernel code
  01832d86-01f40b3f : Kernel data
  020bc000-021fefff : Kernel bss
3bd9a000-3fffffff : reserved
  3c000000-3fffffff : Graphics Stolen Memory
40000000-40000fff : Intel Flush Page
c0000000-cfffffff : 0000:00:02.0
d0000000-d03fffff : 0000:00:02.0
d0400000-d04fffff : 0000:00:02.1
d0500000-d05fffff : PCI Bus 0000:03
  d0500000-d0503fff : 0000:03:00.0
    d0500000-d0503fff : r8169
  d0504000-d0504fff : 0000:03:00.0
    d0504000-d0504fff : r8169
d0600000-d0603fff : 0000:00:1b.0
  d0600000-d0603fff : ICH HD audio
d0604000-d06043ff : 0000:00:1d.7
  d0604000-d06043ff : ehci_hcd
e0000000-efffffff : reserved
fed10000-ffffffff : reserved
  fed1f410-fed1f414 : iTCO_wdt.0.auto
  fee00000-fee00fff : Local APIC