From d325935337db35bc8603e98448344434f5e4a9de Mon Sep 17 00:00:00 2001
From: David Wagner <wagdav@gmail.com>
Date: Fri, 19 Jan 2024 16:08:09 +0100
Subject: [PATCH] rp3: Use the dedicated kernel package

---
 hardware/rp3.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/hardware/rp3.nix b/hardware/rp3.nix
index 7cafe92..dc6b335 100644
--- a/hardware/rp3.nix
+++ b/hardware/rp3.nix
@@ -10,6 +10,7 @@ in
   nixpkgs.system = "aarch64-linux";
 
   boot = {
+    kernelPackages = pkgs.linuxPackages_rpi3;
     kernelModules = [ "bcm2835-v4l2" ];
     loader = {
       grub.enable = false;
@@ -17,6 +18,15 @@ in
     };
   };
 
+  # 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";