ARM: KVM: Add VGIC configuration option

It is now possible to select the VGIC configuration option.

Reviewed-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>

diff --git a/arch/arm/kvm/Kconfig b/arch/arm/kvm/Kconfig
index 05227cb57a7b1d10bf623279d262455e817c32a8..d8126f2b9442e909a45ead05e5eb3094e71ca3ae 100644 (file)
--- a/arch/arm/kvm/Kconfig
+++ b/arch/arm/kvm/Kconfig
@@ -51,6 +51,14 @@ config KVM_ARM_MAX_VCPUS
          large, so only choose a reasonable number that you expect to
          actually use.
 
+config KVM_ARM_VGIC
+       bool "KVM support for Virtual GIC"
+       depends on KVM_ARM_HOST && OF
+       select HAVE_KVM_IRQCHIP
+       default y
+       ---help---
+         Adds support for a hardware assisted, in-kernel GIC emulation.
+
 source drivers/virtio/Kconfig
 
 endif # VIRTUALIZATION