Add device tree filter for Pi 4 B

2023-12-27 14:58:01 +00:00 · 2023-12-27 14:58:01 +00:00 · c7ee0c1acb
commit c7ee0c1acb
parent 33f55317f7
1 changed files with 2 additions and 1 deletions
--- a/hosts/pi/default.nix
+++ b/hosts/pi/default.nix
@ -17,6 +17,7 @@
    };
    deviceTree = {
      enable = true;
+      filter = "*rpi-4-*.dtb";
      overlays = [
        {
          # Adapted from: https://github.com/raspberrypi/linux/blob/rpi-6.1.y/arch/arm/boot/dts/overlays/hifiberry-digi-pro-overlay.dts
@ -68,7 +69,7 @@
                };
            };
          '';
-        };
+        }
      ];
    };
    firmware = with pkgs; [