Você deve dar uma olhada em cpufreq-set
e cpufreq-info
. No Debian e distribuições derivadas eles estão no pacote cpufrequtils
. Por exemplo, em um laptop antigo com um ventilador ruim que eu uso como servidor de arquivos em casa, eu fiz estas configurações:
sudo cpufreq-set -c 0 -g ondemand -u 800000
sudo cpufreq-set -c 1 -g ondemand -u 800000