Comment 26 for bug 1308264

Revision history for this message
Tim Edwards (tkedwards) wrote : Re: Ubuntu 14.04 Beta 2 stuck at "Switched to clocksource tsc" when booting up, then resumes booting to the login screen, after 1 minute

You shouldn't have needed to replace the kernel, the workaround I posted works with the normal kernels from 14.04. But anyway it doesn't do any harm, and you don't need to worry about 'locking' the kernel - apt-get won't replace your kernel 3.17 package with any of the ones from 14.04 because they'll all be of a lower version - 3.13.XX whereas your kernel package will be 3.17.XX.