Preciso manipular a frequência de cada núcleo do meu processador Intel i7. Existe uma maneira de fazer isso no Debian com o subsistema cpufreq do kernel Linux. Está descrito em seuswiki.
No entanto, quero fazer isso no Fedora e no Windows. Alguma ideia se a frequência pode ser alterada estaticamente ou dinamicamente por uma solução de programação?