On Sat, Nov 10, 2012 at 03:46:32PM +0000, Christoffer Dall wrote: > From: Marc Zyngier <marc.zyngier@xxxxxxx> > > It is now possible to select CONFIG_KVM_ARM_TIMER to enable the > KVM architected timer support. > > Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> > Signed-off-by: Christoffer Dall <c.dall@xxxxxxxxxxxxxxxxxxxxxx> > --- > arch/arm/kvm/Kconfig | 7 +++++++ > arch/arm/kvm/Makefile | 1 + > arch/arm/kvm/arm.c | 11 +++++++++++ > arch/arm/kvm/vgic.c | 1 + > 4 files changed, 20 insertions(+) > > diff --git a/arch/arm/kvm/Kconfig b/arch/arm/kvm/Kconfig > index 3c979ce..eaecb9f 100644 > --- a/arch/arm/kvm/Kconfig > +++ b/arch/arm/kvm/Kconfig > @@ -58,6 +58,13 @@ config KVM_ARM_VGIC > ---help--- > Adds support for a hardware assisted, in-kernel GIC emulation. > > +config KVM_ARM_TIMER > + bool "KVM support for Architected Timers" > + depends on KVM_ARM_VGIC && ARM_ARCH_TIMER > + select HAVE_KVM_IRQCHIP > + ---help--- > + Adds support for the Architected Timers in virtual machines > + This should probably be default y Will -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
