Après avoir joué avec le profilage GRUB et installé la précharge, le gouverneur de mise à l'échelle par défaut devient soudainement «performance» et non «ondemand». J'ai essayé d'activer le service /etc/init.d/ondemand, mais rien ne change - après le redémarrage ou la reprise, le gouverneur est toujours «performance». Quelqu'un sait-il ce qui s'est passé et comment rétablir son ancien comportement?
J'utilise un ordinateur portable HP 6710s.