On Tue, May 14, 2013 at 03:13:49PM +0100, Marc Zyngier wrote: > --- /dev/null > +++ b/arch/arm64/kvm/Kconfig ... > +config KVM_ARM_VGIC > + bool > + depends on KVM_ARM_HOST && OF > + select HAVE_KVM_IRQCHIP > + ---help--- > + Adds support for a hardware assisted, in-kernel GIC emulation. > + > +config KVM_ARM_TIMER > + bool > + depends on KVM_ARM_VGIC > + select HAVE_KVM_IRQCHIP > + ---help--- > + Adds support for the Architected Timers in virtual machines > + > +source drivers/virtio/Kconfig Shouldn't the above configs go to drivers/virtio/Kconfig as well (or drivers/virtio/arm/Kconfig)? -- Catalin _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
