anchor.diff:          "userspace".
         '';
       };
  -    
  +
     };
   
   
  
positive.code:     jobs.cpufreq =
        { description = "Initialize CPU frequency governor";
  
          startOn = "started udev";
  
          preStart = ''
            for i in $(seq 0 $(($(nproc) - 1))); do
              ${pkgs.cpufrequtils}/bin/cpufreq-set -g ${config.powerManagement.cpuFreqGovernor} -c $i
            done
          '';
        };
  
negative.code:   ###### interface
  
    options = {
  
      powerManagement.cpuFreqGovernor = mkOption {
        default = "";
        example = "ondemand";
  