On Sat, May 13, 2017 at 02:58:54PM -0700, PGNet Dev wrote: > Does this perhaps imply that Xen correctly uses HPET > > (XEN) [VT-D] MSI HPET: 0000:f0:0f.0 > (XEN) Platform timer is 14.318MHz HPET
I think so, yes. > but that Dom0 does not > > current_clocksource > tsc Try booting without 'hpet=force,verbose clocksource=hpet' and it should select xen by default: # dmesg | grep -i clocksource [ 58.944215] Switched to clocksource xen -- Valentin _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
