Remove some extra junk

config/host-config/plato.nix

@@ -39,12 +39,6 @@ in {
       NIXOS.source = "/state/etc/NIXOS";
       machine-id.source = "/state/etc/machine-id";
       "host-config.nix".source = "/state/etc/host-config.nix";
-      # "krb5.keytab" = {
-      #   source = "/state/etc/plato.keytab";
-      #   user = "root";
-      #   group = "root";
-      #   mode = "0600";
-      # };
     };
 
     system.stateVersion = "20.09";

config/profile-config/server.nix

@@ -68,7 +68,13 @@ in {
     sound.enable = false;
     hardware.pulseaudio.enable = false;
 
-    powerManagement.enable = false;
+    powerManagement =
+      if config.fudo.hosts.${config.instance.hostname}.keep-cool then {
+        enable = true;
+        cpuFreqGovernor = "ondemand";
+      } else {
+        enable = false;
+      };
 
     systemd.targets = {
       sleep.enable = false;

lib/fudo/hosts.nix

@@ -131,6 +131,12 @@ let
         description = "Keytab from which to create a keytab secret.";
         default = null;
       };
+
+      keep-cool = mkOption {
+        type = bool;
+        description = "A host that tends to overheat. Try to keep it cooler.";
+        default = false;
+      };
     };
   };