| 00000000-00000fff : reserved |
| 00001000-0009fbff : System RAM |
| 0009fc00-0009ffff : reserved |
| 000a0000-000bffff : PCI Bus 0000:00 |
| 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-bfe69fff : System RAM |
| 01000000-01772d03 : Kernel code |
| 01772d04-01d1af3f : Kernel data |
| 01e77000-01fbbfff : Kernel bss |
| bfe6a000-c29fffff : reserved |
| c0a00000-c29fffff : Graphics Stolen Memory |
| c2a00000-efffffff : PCI Bus 0000:00 |
| d0000000-dfffffff : 0000:00:02.0 |
| e0000000-e03fffff : 0000:00:02.0 |
| e0400000-e04fffff : PCI Bus 0000:02 |
| e0400000-e0400fff : 0000:02:00.0 |
| e0400000-e0400fff : xhci_hcd |
| e0500000-e05fffff : PCI Bus 0000:03 |
| e0500000-e0503fff : 0000:03:00.0 |
| e0500000-e0503fff : r8169 |
| e0504000-e0504fff : 0000:03:00.0 |
| e0504000-e0504fff : r8169 |
| e0600000-e060ffff : 0000:00:14.0 |
| e0600000-e060ffff : xhci_hcd |
| e0610000-e0613fff : 0000:00:1b.0 |
| e0610000-e0613fff : ICH HD audio |
| e0614000-e06147ff : 0000:00:1f.2 |
| e0614000-e06147ff : ahci |
| e0615000-e06153ff : 0000:00:1a.0 |
| e0615000-e06153ff : ehci_hcd |
| e0616000-e06163ff : 0000:00:1d.0 |
| e0616000-e06163ff : ehci_hcd |
| e0617000-e06170ff : 0000:00:1f.3 |
| e0618000-e061800f : 0000:00:16.0 |
| e0618000-e061800f : mei_me |
| f0000000-f3ffffff : reserved |
| f0000000-f3ffffff : pnp 00:00 |
| fec00000-fec003ff : IOAPIC 0 |
| fed00000-fed003ff : HPET 0 |
| fed00000-fed003ff : pnp 00:01 |
| fed10000-fed17fff : pnp 00:00 |
| fed18000-fed18fff : pnp 00:00 |
| fed19000-fed19fff : pnp 00:00 |
| fed1c000-fed1ffff : pnp 00:00 |
| fed1f410-fed1f414 : iTCO_wdt |
| fed20000-fed3ffff : pnp 00:00 |
| fed40000-fed44fff : PCI Bus 0000:00 |
| fed40000-fed44fff : pnp 00:00 |
| fed45000-fed8ffff : pnp 00:00 |
| fed90000-fed91fff : reserved |
| fed90000-fed90fff : dmar0 |
| fed91000-fed91fff : dmar1 |
| fee00000-fee00fff : Local APIC |
| ff000000-ffffffff : INT0800:00 |
| 100000000-23b5fffff : System RAM |
| 23b600000-23bffffff : RAM buffer |