rp3: Use the dedicated kernel package

wagdav · Jan 19, 2024 · d325935 · d325935
1 parent 8106360
commit d325935
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/hardware/rp3.nix b/hardware/rp3.nix
@@ -10,13 +10,23 @@ in
   nixpkgs.system = "aarch64-linux";
 
   boot = {
+    kernelPackages = pkgs.linuxPackages_rpi3;
     kernelModules = [ "bcm2835-v4l2" ];
     loader = {
       grub.enable = false;
       generic-extlinux-compatible.enable = true;
     };
   };
 
+  # Fix missing modules
+  # https://github.com/NixOS/nixpkgs/issues/154163
+  nixpkgs.overlays = [
+    (final: super: {
+      makeModulesClosure = x:
+        super.makeModulesClosure (x // { allowMissing = true; });
+    })
+  ];
+
   networking.wireless = {
     enable = true;
     environmentFile = "/etc/secrets/wireless.env";