Chowno, issuing the following command will tell you which clock source is being used. The first line is the available clock sources, and the second line is the currently active clock source:
cat /sys/devices/system/clocksource/clocksource0/* On my system, this returns: tsc hpet acpi_pm hpet I had to switch to hpet since the tsc timing source is inaccurate on my system and caused system instability. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/993187 Title: ubuntu 12.04 completely freezes frequently. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/993187/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs