Thank you, Mirco - that confirms some suspicions I had. I think I might be able to reproduce the problem now.
-- kernel can't scale cpu frequency https://launchpad.net/bugs/36014 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
