Rob Bradford f0360c92d9 arch: acpi: Set the upper device range based on RAM levels ... After the 32-bit gap the memory is shared between the devices and the RAM. Ensure that the ACPI tables correctly indicate where the RAM ends and the device area starts by patching the precompiled tables. We get the following valid output now from the PCI bus probing (8GiB guest) [ 0.317757] pci_bus 0000:00: resource 4 [io 0x0000-0x0cf7 window] [ 0.319035] pci_bus 0000:00: resource 5 [io 0x0d00-0xffff window] [ 0.320215] pci_bus 0000:00: resource 6 [mem 0x000a0000-0x000bffff window] [ 0.321431] pci_bus 0000:00: resource 7 [mem 0xc0000000-0xfebfffff window] [ 0.322613] pci_bus 0000:00: resource 8 [mem 0x240000000-0xfffffffff window] Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2019-09-19 10:43:55 +01:00
..
src	arch: acpi: Set the upper device range based on RAM levels	2019-09-19 10:43:55 +01:00
Cargo.toml	vmm: Add MMIO support	2019-09-13 12:30:13 +01:00