cloud-hypervisor/arch/src
Michael Zhao 88fda7c305 aarch64, acpi: Change PCIe high space for EDK2
EDK2 requires the beginning of PCIe high space above 4G address.
In CLH the space follows the RAM. If the RAM space is small, the PCIe
high space could fall bellow 4G.
Here we put it above 512G in FDT to workaround the EDK2 check only when
ACPI is enabled, because EDK2 collects PCIe information from FDT.
The address written in ACPI is not impacted.

Signed-off-by: Michael Zhao <michael.zhao@arm.com>
2021-06-09 18:36:59 +08:00
..
aarch64 aarch64, acpi: Change PCIe high space for EDK2 2021-06-09 18:36:59 +08:00
x86_64 misc: Upgrade to use the vm-memory crate w/ dirty-page-tracking 2021-06-03 08:34:45 +01:00
lib.rs aarch64: Enable UEFI image loading 2021-06-09 18:36:59 +08:00