Ubuntu
linux package

  1. Bug #190414
  2. Comment #31

Comment 31 for bug 190414

Revision history for this message
Philipp Kohlbecher (xt28) wrote :

I think the problem is that "CONFIG_X86_TSC" is not set in the kernel configuration. If it were, the idle functions in drivers/apci/processor_idle.c would mark the TSC as unstable, preventing this bug.