stuff

systems/aarch64-linux/pi5/boot.nix

@@ -8,7 +8,7 @@ in
       bootloader = "kernel";
       firmwarePackage = pkgs.raspberrypifw;
     };
-    kernelPackages = pkgs.linuxPackagesFor pkgs.${namespace}.linux-rpi;
+    kernelPackages = pkgs.linuxPackages_rpi5;
     supportedFilesystems = lib.mkForce [ ];
   };
 

systems/aarch64-linux/pi5/default.nix

@@ -3,6 +3,7 @@
 # https://search.nixos.org/options and in the NixOS manual (`nixos-help`).
 
 {
+  pkgs,
   namespace,
   ...
 }:
@@ -15,6 +16,11 @@
 
   virtualisation.docker.enable = true;
 
+  environment.systemPackages = with pkgs.${namespace}; [
+    ubootRaspberryPi5
+    ubootTools
+  ];
+
   ${namespace} = {
 
     # ###################################################