From 7c7a8f70827d55361b7def502f38b8757e09065f Mon Sep 17 00:00:00 2001
From: Bernardo Meurer <bernardo@meurer.org>
Date: Sat, 18 Feb 2023 15:55:05 +0000
Subject: [PATCH] raspberry-pi/4: don't use an alias for the kernel pkg

---
 raspberry-pi/4/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/raspberry-pi/4/default.nix b/raspberry-pi/4/default.nix
index f93a236..6c5b1ba 100644
--- a/raspberry-pi/4/default.nix
+++ b/raspberry-pi/4/default.nix
@@ -15,7 +15,7 @@
   ];
 
   boot = {
-    kernelPackages = lib.mkDefault pkgs.linuxPackages_rpi4;
+    kernelPackages = lib.mkDefault pkgs.linuxKernel.packages.linux_rpi4;
     initrd.availableKernelModules = [
       "usbhid"
       "usb_storage"