On Wed, Jan 9, 2013 at 8:28 AM, Sergei Shtylyov [off-list ref] wrote:

Hello.


On 08-01-2013 22:42, Christoffer Dall wrote:

quoted

From: Marc Zyngier <redacted>

quoted

It is now possible to select the VGIC configuration option.

quoted

Signed-off-by: Marc Zyngier <redacted>
Signed-off-by: Christoffer Dall <redacted>
---
  arch/arm/kvm/Kconfig |    8 ++++++++
  1 file changed, 8 insertions(+)

quoted

diff --git a/arch/arm/kvm/Kconfig b/arch/arm/kvm/Kconfig
index 05227cb..d32e33f 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"

   Please indent with tab, as below.

fixed both, thanks.