Merge 3a0fabdeeb into d48e8f0e16

raspberry-pi/5/default.nix

@@ -5,10 +5,7 @@
   ...
 }:
 let
-  linux_rpi5 = pkgs.linux_rpi4.override {
+  inherit (import ./packages.nix {inherit lib pkgs;}) linux_rpi5;
-    rpiVersion = 5;
-    argsOverride.defconfig = "bcm2712_defconfig";
-  };
 in
 {
   boot = {

raspberry-pi/5/packages.nix

@@ -0,0 +1,7 @@
+{ lib, pkgs, }:
+{
+  linux_rpi5 = pkgs.linux_rpi4.override {
+    rpiVersion = 5;
+    argsOverride.defconfig = "bcm2712_defconfig";
+  };
+}

release.nix

@@ -0,0 +1,15 @@
+let
+  lib = import <nixpkgs/lib>;
+  pkgsFor.aarch64-linux = import <nixpkgs> {
+    system = "aarch64-linux";
+  };
+in
+{
+  linux_rpi5.aarch64-linux =
+    (
+      import ./raspberry-pi/5/packages.nix {
+        inherit lib;
+        pkgs = pkgsFor.aarch64-linux;
+      }
+    ).linux_rpi5;
+}