| 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 |