Switched to raspi 4

flake.lock

@@ -70,6 +70,22 @@
         "type": "github"
       }
     },
+    "nixos-hardware": {
+      "locked": {
+        "lastModified": 1695109627,
+        "narHash": "sha256-4rpyoVzmunIG6xWA/EonnSSqC69bDBzciFi6SjBze/0=",
+        "owner": "NixOS",
+        "repo": "nixos-hardware",
+        "rev": "cb4dc98f776ddb6af165e6f06b2902efe31ca67a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "master",
+        "repo": "nixos-hardware",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1683408522,
@@ -106,6 +122,7 @@
       "inputs": {
         "colmena": "colmena",
         "flake-utils": "flake-utils_2",
+        "nixos-hardware": "nixos-hardware",
         "nixpkgs": "nixpkgs_2"
       }
     },

flake.nix

@@ -5,6 +5,8 @@
     nixpkgs.url = "github:nixos/nixpkgs/nixos-23.05";
     flake-utils.url = "github:numtide/flake-utils";
     colmena.url = "github:zhaofengli/colmena";
+
+    nixos-hardware.url = "github:NixOS/nixos-hardware/master";
   };
 
   outputs = inputs@{self, nixpkgs, flake-utils, ...}:
@@ -43,6 +45,7 @@
         ./citrus.nix
         "${nixpkgs}/nixos/modules/installer/sd-card/sd-image-aarch64.nix"
         ./platforms/orange.nix
+        inputs.nixos-hardware.nixosModules.raspberry-pi-4
       ];
     in {
       # Colmena deploy manifest

platforms/orange.nix

@@ -3,8 +3,17 @@
   nixpkgs.hostPlatform.system = "aarch64-linux";
   sdImage.imageName = "orange.img";
 
-  boot.loader.raspberryPi.version = 3;
+  boot.loader.raspberryPi.version = 4;
-  boot.initrd.kernelModules = [ "vc4" "bcm2835_dma" "i2c_bcm2835" ];
+
+  hardware.raspberry-pi."4" = {
+      fkms-3d.enable = true;
+      apply-overlays-dtmerge.enable = true;
+  };
+  console.enable = false;
+  environment.systemPackages = with pkgs; [
+    libraspberrypi
+    raspberrypi-eeprom
+  ];
 
   networking.hostName = "orange";
 }