Comment 2 for bug 499220

Revision history for this message
f3a97 (f3a97) wrote :

Hi,

After more than a week of testing, I'm happy to announce that I've solved this issue.

It was a matter of unstable clock, as many others have experienced.

The fix was easy, simply add two options to the kernel boot line: "clocksource=hpet" and "notsc".

It is enough to edit /etc/default/grub and add the options to the GRUB_CMDLINE_LINUX variable, followed by an update-grub command.