[PATCH 0/5] arm64: Add support of KVM with ACPI

Hello, This small series allows an ARM64 ACPI based platform to use KVM. Currently the KVM code has to parse the firmware table to get the necessary information to setup the virtual timer and virtual GIC. However the parsing of those tables are already done in the GIC and arch timer drivers.

[PATCH 0/5] arm64: Add support of KVM with ACPI

Hello, This small series allows an ARM64 ACPI based platform to use KVM. Currently the KVM code has to parse the firmware table to get the necessary information to setup the virtual timer and virtual GIC. However the parsing of those tables are already done in the GIC and arch timer drivers.