From: Marc Zyngier <marc.zyngier@arm.com>
Date: Tue, 22 Jan 2013 00:36:16 +0000 (-0500)
Subject: ARM: KVM: Add VGIC configuration option
X-Git-Tag: upstream/snapshot3+hdmi~5684^2~1^2~4
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=75431f9d7335daf7fb9e72b3a1539ce610142618;p=platform%2Fadaptation%2Frenesas_rcar%2Frenesas_kernel.git

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 05227cb..d8126f2 100644
--- 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