KVM on ARM relies on device tree information, which is not available when booting with ACPI. In the case of VGIC we need to extract the relevant data from the MADT table and probe it accordingly.
For the architected timer, we need to expose the correct interrupt line to KVM from the GTDT table.
This series has been tested on the Foundation Model 0.8 build 5206 and is based on the "Introduce ACPI for ARM64 based on ACPI 5.1" patch series from Hanjun Guo.
Alexander Spyridakis (2): ARM64 / ACPI: VGIC probe support with ACPI ARM64 / ACPI: Point KVM to the virtual timer interrupt when booting with ACPI
include/kvm/arm_vgic.h | 6 ++++ virt/kvm/arm/arch_timer.c | 48 ++++++++++++++++++------- virt/kvm/arm/vgic-v2.c | 91 +++++++++++++++++++++++++++++++++++++++++++++++ virt/kvm/arm/vgic.c | 27 ++++++++------ 4 files changed, 150 insertions(+), 22 deletions(-)