On 10/04/2007 05:46 PM, Gordon Messmer wrote:
>
> Kernel option "clocksource=acpi_pm" will probably fix this.
>
> See
https://fedoraproject.org/wiki/KernelBugTriage#common_problems
Yes, it did. The same thing will probably help Antonio with his boot
problem.
Should I file a bug on this, or is one already open? If I need to file
a bug, what information should be included?
File a bug and call it something like "kernel chooses wrong clock source".
Include what you've posted, how the system freezes and then finally says
the TSC clocksource is unstable, and using acpi_pm fixes it.