nixops: enable rpi fans

3 years ago · ade7b63e55
parent 3dbab390ae
commit ade7b63e55
2 changed files with 8 additions and 2 deletions
--- a/nixops/rpi-server.nix
+++ b/nixops/rpi-server.nix
@ -13,7 +13,10 @@
    enable = true;
    version = 4;
  };
-  boot.kernelPackages = pkgs.lib.mkIf rpi4 pkgs.linuxPackages_latest;
+  boot.kernelPackages = if rpi4 then pkgs.linuxPackages_rpi4 else pkgs.linuxPackages_rpi3;
+  hardware.deviceTree.enable = true;
+  hardware.deviceTree.base = pkgs.device-tree_rpi;
+  hardware.deviceTree.overlays = [ "${pkgs.device-tree_rpi.overlays}/rpi-poe.dtbo" ];

  fileSystems = if rpi4 then {
    "/boot" = {
--- a/nixops/rpi.nix
+++ b/nixops/rpi.nix
@ -16,7 +16,10 @@ in
    enable = true;
    version = 4;
  };
-  boot.kernelPackages = pkgs.lib.mkIf rpi4 pkgs.linuxPackages_latest;
+  boot.kernelPackages = if rpi4 then pkgs.linuxPackages_rpi4 else pkgs.linuxPackages_rpi3;
+  hardware.deviceTree.enable = true;
+  hardware.deviceTree.base = pkgs.device-tree_rpi;
+  hardware.deviceTree.overlays = [ "${pkgs.device-tree_rpi.overlays}/rpi-poe.dtbo" ];

  fileSystems = if rpi4 then {
    "/boot" = {