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. -- fedora-test-list mailing list fedora-test-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-test-list
