00000000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cedff : Video ROM
000e6000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-3bfcffff : System RAM
  01000000-012100b0 : Kernel code
  012100b1-0135713f : Kernel data
  013ae000-0194720b : Kernel bss
3bfd0000-3bfddfff : ACPI Tables
3bfde000-3bffffff : ACPI Non-volatile Storage
c0000000-cfffffff : 0000:00:0d.0
dd000000-ddffffff : 0000:00:0d.0
de000000-deffffff : 0000:00:0d.0
dfec0000-dfedffff : 0000:00:0d.0
dfef4000-dfef7fff : 0000:00:05.0
dfef8000-dfef8fff : 0000:00:08.0
  dfef8000-dfef8fff : sata_nv
dfef9000-dfef9fff : 0000:00:07.0
  dfef9000-dfef9fff : forcedeth
dfefac00-dfefacff : 0000:00:02.1
  dfefac00-dfefacff : ehci_hcd
dfefb000-dfefbfff : 0000:00:02.0
  dfefb000-dfefbfff : ohci_hcd
dff00000-dfffffff : PCI Bus 0000:01
  dffe0000-dffeffff : 0000:01:09.0
  dfffec00-dfffecff : 0000:01:0a.0
    dfffec00-dfffecff : 8139too
  dffff000-dfffffff : 0000:01:09.0
    dffff000-dfffffff : natsemi
e0000000-efffffff : PCI MMCONFIG 0 [00-ff]
  e0000000-efffffff : pnp 00:0e
fec00000-fec00fff : IOAPIC 0
  fec00000-fec00fff : reserved
fee00000-feefffff : reserved
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:0a
  fee01000-feefffff : pnp 00:08
fefe0000-fefe01ff : pnp 00:08
fefe1000-fefe1fff : pnp 00:08
feff0000-feff03ff : HPET 0
fff80000-ffffffff : reserved
