From eb42f0718c04a30a0fe3de75af49f0f06df0ac46 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 12 Jul 2022 17:01:38 +0800
Subject: [PATCH] nixops: wifi on rpi4 needs pkgs.linuxPackages_rpi4

---
 nixops/rpi-server.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nixops/rpi-server.nix b/nixops/rpi-server.nix
index b6e67517..7f0dba3b 100644
--- a/nixops/rpi-server.nix
+++ b/nixops/rpi-server.nix
@@ -11,6 +11,7 @@
   boot.loader.grub.enable = false;
   boot.loader.generic-extlinux-compatible.enable = true;
   boot.kernelParams = ["cma=64M"]; # work around https://github.com/raspberrypi/linux/issues/3208
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
   boot.initrd.includeDefaultModules = false;
 
   fileSystems = {