commit 0b28f1db3dd2d4377c4a4dd8f85713ef44f11a25
author Jean-Philippe Brucker <jean-philippe.brucker@arm.com> Thu Oct 01 13:47:18 2015 +0100
committer Marc Zyngier <marc.zyngier@arm.com> Fri Oct 09 23:11:56 2015 +0100
tree 830db4fe8f748a8912697175758940455f7b3bef
parent d5cd50d318f70fc62cc2e1399f5f4a0803291395

ARM: virt: select ARM_GIC_V3

This patch allows ARM guests to use GICv3 on an arm64 host

Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>

arch/arm/Kconfig

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 72ad724..0d72535 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -819,6 +819,7 @@
 	bool "Dummy Virtual Machine" if ARCH_MULTI_V7
 	select ARM_AMBA
 	select ARM_GIC
+	select ARM_GIC_V3
 	select ARM_PSCI
 	select HAVE_ARM_ARCH_TIMER