On 14/05/12 16:48, Peter Maydell wrote: > On 14 May 2012 14:06, Marc Zyngier <marc.zyngier at arm.com> wrote: >> This patch series adds support for the architected timer for the >> guest. It relies on the VGIC code to inject timer interrupts. > > This seems like a good point to raise the suggestion that > using the in-kernel support for the architected timer and > VGIC should be mandatory. Indeed, thanks for pointing this out. This is why CONFIG_KVM_ARM_TIMER depends on KVM_ARM_VGIC && ARM_ARCH_TIMER. M. -- Jazz is not dead. It just smells funny...
