From c7ee0c1acb0b488c0db0accdbff8e477947dd81b Mon Sep 17 00:00:00 2001
From: Jordan Holt <jordan@vimium.com>
Date: Wed, 27 Dec 2023 14:58:01 +0000
Subject: [PATCH] Add device tree filter for Pi 4 B

---
 hosts/pi/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hosts/pi/default.nix b/hosts/pi/default.nix
index d413f52..a166d23 100644
--- 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; [