On Tue, Sep 15, 2009 at 11:27:32AM -0700, Paul Goyette wrote: > Would hpet be a better choice for timecounter? Not really. It is an order of magnitude slower. The best approach would be to port the TSC sync code to the lapic timer, which is known to be fixed frequency and also phase coherent, I think. Joerg