Pour répertorier les sources d'horloge disponibles sur votre système, veuillez exécuter les commandes suivantes :

~]$ cd /sys/devices/system/clocksource/clocksource0/
clocksource0]$ cat available_clocksource
kvm-clock tsc hpet acpi_pm 
clocksource0]$ cat current_clocksource
kvm-clock

Dans l'exemple ci-dessus, le noyau utilise kvm-clock. Ceci a été sélectionné pendant le démarrage car il s'agit d'une machine virtuelle. Notez que la source d'horloge varie en fonction de l'architecture.

Pour outrepasser la source d'horloge par défaut, veuillez ajouter la directive clocksource à la ligne GRUB du noyau. Utiliser l'outil grubby pour effectuer ce changement. Ainsi, pour forcer le noyau par défaut sur un système pour qu'il utilise le source d'horloge tsc, saisir la commande suivante :

~]# grubby --args=clocksource=tsc --update-kernel=DEFAULT

Le paramètre --update-kernel accepte également le mot clé ALL, ou une liste de numéros d'indexes de noyaux séparée par des virgules.

Voir Chapitre 24, Utiliser le chargeur de démarrage GRUB 2 pour obtenir plus d'informations sur la façon d'apporter des changements au menu GRUB.