> Why does hpet need to be slow? Can't you just 1:1 pass through one of > the hpet timers if you only have a limited amount of vms?
HPET is not a truly virtualizable device, it's all the counters in one block that cannot be really mapped to different people. Also most systems have very little counters and Linux typically needs two at least (system timer and /dev/hpet) > If done cleverly this might even work if #hpet > #cpu. Sure with a device model, but that needs vmexits. -Andi -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html