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