pi4hw or something

hosts/pi4/boot.nix

@@ -1,9 +1,10 @@
-{ pkgs, ... }:
+{ pkgs, lib, ... }:
 {
   boot = {
     loader = {
-        systemd-boot.enable = true;
+        systemd-boot.enable = lib.mkForce true;
         efi.canTouchEfiVariables = false;
+        generic-extlinux-compatible.enable = lib.mkForce false;
     };
     plymouth.enable = true;
     kernelPackages = pkgs.linuxPackages_latest;

hosts/pi4/configuration.nix

@@ -13,7 +13,8 @@ in
     ./boot.nix
     ./impermanence.nix
     ./networking.nix
-   ./sops.nix
+    ./pi4-hw.nix
+    ./sops.nix
     ../default.nix
   ];
   programs.zsh.enable = true;

hosts/pi4/pi4-hw.nix

@@ -0,0 +1,22 @@
+{ ... }:
+{
+  hardware = {
+    raspberry-pi."4" = {
+      apply-overlays-dtmerge.enable = false;
+      audio.enable = false;
+      backlight.enable = false;
+      bluetooth.enable = false;
+      dwc2.enable = true;
+      i2c0.enable = false;
+      i2c1.enable = false;
+      leds = {
+        eth.disable = false;
+        act.disable = false;
+        pwr.disable = false;
+      };
+      fkms-3d.enable = false;
+      xhci.enable = true;
+    };
+    deviceTree.filter = "bcm2711-rpi-4*.dtb";
+  };
+}