| 00000000-00000fff : reserved |
| 00001000-0009fbff : System RAM |
| 0009fc00-0009ffff : reserved |
| 000a0000-000bffff : PCI Bus 0000:00 |
| 000c0000-000c7fff : Video ROM |
| 000cb000-000cbfff : Adapter ROM |
| 000cc000-000ccfff : Adapter ROM |
| 000e4000-000fffff : reserved |
| 000f0000-000fffff : System ROM |
| 00100000-7f79ffff : System RAM |
| 01000000-01772d03 : Kernel code |
| 01772d04-01d1af3f : Kernel data |
| 01e77000-01fbbfff : Kernel bss |
| 7f7a0000-7f7adfff : ACPI Tables |
| 7f7ae000-7f7dffff : ACPI Non-volatile Storage |
| 7f7e0000-ffffffff : reserved |
| 7f810000-ffffffff : PCI Bus 0000:00 |
| 80000000-801fffff : PCI Bus 0000:03 |
| 80200000-80200fff : Intel Flush Page |
| dfd00000-dfd7ffff : 0000:00:02.0 |
| dfd80000-dfdbffff : 0000:00:02.0 |
| dfdf8000-dfdfbfff : 0000:00:1b.0 |
| dfdf8000-dfdfbfff : ICH HD audio |
| dfdffc00-dfdfffff : 0000:00:1d.7 |
| dfdffc00-dfdfffff : ehci_hcd |
| dfe00000-dfefffff : PCI Bus 0000:02 |
| dfea0000-dfebffff : 0000:02:00.0 |
| dfec0000-dfefffff : 0000:02:00.0 |
| dfec0000-dfefffff : atl2 |
| dff00000-dfffffff : PCI Bus 0000:03 |
| dff00000-dff7ffff : 0000:03:00.0 |
| dff00000-dff7ffff : e1000e |
| dff80000-dffbffff : 0000:03:00.0 |
| dffdc000-dffdffff : 0000:03:00.0 |
| dffdc000-dffdffff : e1000e |
| dffe0000-dfffffff : 0000:03:00.0 |
| dffe0000-dfffffff : e1000e |
| e0000000-efffffff : 0000:00:02.0 |
| f0000000-f3ffffff : PCI MMCONFIG 0000 [bus 00-3f] |
| f0000000-f3ffffff : pnp 00:0a |
| fec00000-fec003ff : IOAPIC 0 |
| fed00000-fed003ff : HPET 0 |
| fed00000-fed003ff : PNP0103:00 |
| fed13000-fed19fff : pnp 00:00 |
| fed1c000-fed1ffff : pnp 00:05 |
| fed1f410-fed1f414 : iTCO_wdt |
| fed20000-fed8ffff : pnp 00:05 |
| fee00000-fee00fff : Local APIC |
| fee00000-fee00fff : reserved |
| fee00000-fee00fff : pnp 00:07 |
| ffb80000-ffbfffff : INT0800:00 |
| ffc00000-fff7ffff : pnp 00:09 |
| fff80000-ffffffff : reserved |
| fff80000-ffffffff : INT0800:00 |