00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
  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
000e0000-000e3fff : PCI Bus 0000:00
000e4000-000e7fff : PCI Bus 0000:00
000e8000-000ebfff : PCI Bus 0000:00
000ec000-000effff : PCI Bus 0000:00
000f0000-000fffff : PCI Bus 0000:00
  000f0000-000fffff : reserved
    000f0000-000fffff : System ROM
00100000-7ac9cfff : System RAM
  01000000-01772d03 : Kernel code
  01772d04-01d1af3f : Kernel data
  01e77000-01fbbfff : Kernel bss
7ac9d000-dfffffff : reserved
  7ae00000-dfffffff : PCI Bus 0000:00
    7c000000-7fffffff : Graphics Stolen Memory
    80000000-801fffff : PCI Bus 0000:01
    80200000-803fffff : PCI Bus 0000:01
    c0000000-cfffffff : 0000:00:02.0
    d0000000-d03fffff : 0000:00:02.0
    d0400000-d05fffff : 0000:00:15.0
    d0600000-d06fffff : 0000:00:1a.0
    d0700000-d07fffff : 0000:00:1a.0
    d0800000-d08fffff : PCI Bus 0000:02
      d0800000-d0803fff : 0000:02:00.0
        d0800000-d0803fff : r8169
    d0900000-d09fffff : PCI Bus 0000:02
      d0900000-d0900fff : 0000:02:00.0
        d0900000-d0900fff : r8169
    d0a00000-d0afffff : PCI Bus 0000:03
      d0a00000-d0a01fff : 0000:03:00.0
        d0a00000-d0a01fff : iwlwifi
    d0b00000-d0b03fff : 0000:00:18.0
    d0b04000-d0b07fff : 0000:00:1e.0
    d0b08000-d0b08fff : 0000:00:12.0
      d0b08000-d0b08fff : mmc0
    d0b09000-d0b09fff : 0000:00:12.0
    d0b0a000-d0b0afff : 0000:00:15.0
    d0b0b000-d0b0bfff : 0000:00:18.0
    d0b0c000-d0b0cfff : 0000:00:18.2
      d0b0c000-d0b0cfff : 0000:00:18.2
    d0b0d000-d0b0dfff : 0000:00:18.2
    d0b0e000-d0b0efff : 0000:00:18.6
      d0b0e000-d0b0efff : 0000:00:18.6
    d0b0f000-d0b0ffff : 0000:00:18.6
    d0b10000-d0b10fff : 0000:00:18.7
      d0b10000-d0b10fff : 0000:00:18.7
    d0b11000-d0b11fff : 0000:00:18.7
    d0b12000-d0b12fff : 0000:00:1e.0
    d0b13000-d0b13fff : 0000:00:1e.1
      d0b13000-d0b13fff : 0000:00:1e.1
    d0b14000-d0b14fff : 0000:00:1e.1
    d0b15000-d0b15fff : 0000:00:1e.2
      d0b15000-d0b15fff : 0000:00:1e.2
    d0b16000-d0b16fff : 0000:00:1e.2
    d0b17000-d0b17fff : 0000:00:1e.3
      d0b17000-d0b1701f : serial
    d0b18000-d0b18fff : 0000:00:1e.3
    d0b19000-d0b19fff : 0000:00:1e.4
      d0b19000-d0b1901f : serial
    d0b1a000-d0b1afff : 0000:00:1e.4
    d0b1b000-d0b1bfff : 0000:00:1e.5
      d0b1b000-d0b1bfff : PXA2xx SPI
    d0b1c000-d0b1cfff : 0000:00:1e.5
    d0b1d000-d0b1d7ff : 0000:00:13.0
      d0b1d000-d0b1d7ff : ahci
    d0b1e000-d0b1e3ff : 0000:00:1d.0
      d0b1e000-d0b1e3ff : ehci_hcd
    d0b1f000-d0b1f01f : 0000:00:1f.3
e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
  e0000000-efffffff : reserved
    e00000d0-e00000db : INT33BD:00
feb00000-fec00fff : reserved
  feb00000-febfffff : pnp 00:00
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : pnp 00:01
fed01000-fed01fff : reserved
  fed01000-fed013ff : pnp 00:00
fed03000-fed03fff : reserved
  fed03000-fed033ff : pnp 00:00
    fed03008-fed0300c : iTCO_wdt
fed05000-fed05fff : reserved
  fed05000-fed057ff : pnp 00:00
fed08000-fed08fff : reserved
  fed08000-fed083ff : pnp 00:00
fed0c000-fed0ffff : reserved
  fed0c000-fed0cfff : INT33FC:00
    fed0c000-fed0cfff : INT33FC:00
  fed0d000-fed0dfff : INT33FC:01
    fed0d000-fed0dfff : INT33FC:01
  fed0e000-fed0efff : INT33FC:02
    fed0e000-fed0efff : INT33FC:02
fed1c000-fed1cfff : reserved
  fed1c000-fed1c3ff : pnp 00:00
fed40000-fed44fff : PCI Bus 0000:00
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
fef00000-feffffff : reserved
  fef00000-feffffff : pnp 00:00
ff000000-ffffffff : INT0800:00
  ff800000-ffffffff : reserved