specify rpi version

This commit is contained in:
Charlotte 🦝 Delenk 2023-03-30 09:22:44 +01:00
parent 4eedac4eee
commit 29f9d4a4b9
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122
2 changed files with 5 additions and 2 deletions

View file

@ -107,7 +107,10 @@
// (
if system == "aarch64-linux"
then rec {
rpiKernel = pkgs.callPackage ./linux/rpi {kernelPatches = [];};
rpi4Kernel = pkgs.callPackage ./linux/rpi {
kernelPatches = [];
rpiVersion = 4;
};
}
else {}
);

View file

@ -14,7 +14,7 @@
in
lib.overrideDerivation (buildLinux (args
// {
version = "${modDirVersion}";
version = "${modDirVersion}-rp${toString rpiVersion}";
inherit modDirVersion;
src = fetchFromGitHub {