Hello. On 10-11-2012 19:45, Christoffer Dall wrote: > From: Marc Zyngier <marc.zyngier@xxxxxxx> > It is now possible to select the VGIC configuration option. > Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> > Signed-off-by: Christoffer Dall <c.dall@xxxxxxxxxxxxxxxxxxxxxx> > --- > arch/arm/kvm/Kconfig | 7 +++++++ > 1 file changed, 7 insertions(+) > diff --git a/arch/arm/kvm/Kconfig b/arch/arm/kvm/Kconfig > index bfa3174..3c979ce 100644 > --- a/arch/arm/kvm/Kconfig > +++ b/arch/arm/kvm/Kconfig > @@ -51,6 +51,13 @@ 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" Indent with tabs uniformaly, please. > + depends on KVM_ARM_HOST && OF > + select HAVE_KVM_IRQCHIP > + ---help--- > + Adds support for a hardware assisted, in-kernel GIC emulation. > + WBR, Sergei _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm