Yes, Linux will use the HPET if it's available, but it prefers the TSC when possible, which is the case in most modern CPUs. For instance, you will see the foll

Yes, Linux will use the HPET if it's available, but it prefers the TSC when possible, which is the case in most modern CPUs. For instance, you will see the following in the kernel log: [ 0.062020] clocksource: Switched to clocksource hpet [...] [ 2.383237] clocksource: Switched to clocksource tsc Here, it started with the HPET, calibrated the TSC, and switched to it. There's no need to disable the HPET for it to chose something else as the best timing source.