anchor.diff:    ###### interface
   
     options = {
  -  
  +
       powerManagement.cpuFreqGovernor = mkOption {
         default = "";
         example = "ondemand";
  
positive.code:         "userspace".
        '';
      };
      
    };
  
  
  
negative.code:     jobs.cpufreq =
        { description = "Initialize CPU frequency governor";
  
          after = [ "systemd-modules-load.service" ];
          wantedBy = [ "multi-user.target" ];
  
          path = [ pkgs.cpufrequtils ];
  
          preStart = ''
            for i in $(seq 0 $(($(nproc) - 1))); do
              for gov in $(cpufreq-info -c $i -g); do
                if [ "$gov" = ${config.powerManagement.cpuFreqGovernor} ]; then
                  echo "<6>setting governor on CPU $i to ‘$gov’"
                  cpufreq-set -c $i -g $gov
                fi
              done
            done
          '';
        };
  