22.18. Configuring Clock Sources
To list the available clock sources on your system, issue the following commands:
~]$In the above example, the kernel is using kvm-clock. This was selected at boot time as this is a virtual machine.
cat available_clocksourcekvm-clock tsc hpet acpi_pm clocksource0]$
To override the default clock source, add a line similar to the following in
clocksource=tscThe available clock source is architecture dependent.