On Sat, 2013-12-28 at 13:24 +1100, Alex wrote:> Linux does not write to the TSC since quite a while... which means the > BIOS is doing that. It really should not.I saw the same on an Intel server recently, poor thing was stuck withusing HPET.-Mike