On Thu, Jun 7, 2012 at 10:20 AM, Peter Maydell <peter.maydell at linaro.org> wrote: > On 7 June 2012 15:09, Christoffer Dall <c.dall at virtualopensystems.com> wrote: >> I took "it is impossible to hide it [arch. timer support] from the >> guest" to mean that if the host has arch. timer support the guest must >> in fact support it. > > No. That means "if the host has arch.timer support it is not > possible to present to the guest a virtual CPU which does not > have arch.timers". (You can fake the ID register to not set the > bit which says "arch timers present", but you can't make the > cp15 registers UNDEF if the guest goes ahead and prods them > anyway.) > I understand, but what happens if VGIC support is not enabled in the host (and thereby arch. timer for VMs are not enabled in KVM) adn the guest still prods the cp15 registers? everything breaks or just the guest? -Christoffer
