Before revision: Use and compatibility Operating systems designed before HPET existed cannot use HPET, so they use other timer facilities.
After revision: A Linux boot log showing the switch from HPET to TSC as system clocksourceUse and compatibility Operating systems designed before HPET existed cannot use HPET, so they use other timer facilities.