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.) -- PMM
