2011-12-16 23:44:37 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
2011-12-20 22:44:58 +00:00
|
|
|
|
|
|
|
powerManagement.cpuFreqGovernor = mkOption {
|
2011-12-16 23:44:37 +00:00
|
|
|
default = "";
|
|
|
|
example = "ondemand";
|
2012-01-13 13:26:52 +00:00
|
|
|
type = types.uniq types.string;
|
2011-12-16 23:44:37 +00:00
|
|
|
description = ''
|
|
|
|
Configure the governor used to regulate the frequence of the
|
|
|
|
available CPUs. By default, the kernel configures the governor
|
|
|
|
"userspace".
|
|
|
|
'';
|
|
|
|
};
|
2011-12-20 22:44:58 +00:00
|
|
|
|
2011-12-16 23:44:37 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
###### implementation
|
|
|
|
|
2011-12-20 22:44:58 +00:00
|
|
|
config = mkIf (config.powerManagement.cpuFreqGovernor != "") {
|
|
|
|
|
|
|
|
environment.systemPackages = [ pkgs.cpufrequtils ];
|
|
|
|
|
|
|
|
jobs.cpufreq =
|
2011-12-16 23:44:37 +00:00
|
|
|
{ description = "Initialize CPU frequency governor";
|
|
|
|
|
|
|
|
startOn = "started udev";
|
|
|
|
|
2012-08-23 16:08:42 +01:00
|
|
|
preStart = ''
|
2011-12-16 23:44:37 +00:00
|
|
|
for i in $(seq 0 $(($(nproc) - 1))); do
|
2011-12-20 22:44:58 +00:00
|
|
|
${pkgs.cpufrequtils}/bin/cpufreq-set -g ${config.powerManagement.cpuFreqGovernor} -c $i
|
2011-12-16 23:44:37 +00:00
|
|
|
done
|
|
|
|
'';
|
|
|
|
};
|
2011-12-20 22:44:58 +00:00
|
|
|
};
|
2011-12-16 23:44:37 +00:00
|
|
|
|
|
|
|
}
|