Pour savoir quelles horloges sont disponibles sur votre systeme :

$ cat /sys/devices/system/clocksource/clocksource0/available_clocksource

• De manière teporaire (jusqu'au prochain reboot) :

  # echo "acpi_pm" > /sys/devices/system/clocksource/clocksource0/current_clocksource

• De manière permanente : utiliser l'option noyau clocksource dans la configuration de grub, par exemple :

  title Red Hat Enterprise Linux Server (2.6.32-71.18.2.el6.x86_64)
          root (hd0,0)
          kernel /vmlinuz-2.6.32-71.18.2.el6.x86_64 ro root=LABEL=/ crashkernel=auto clocksource=acpi_pm
          initrd /initramfs-2.6.32-71.18.2.el6.x86_64.img