linux-rt_5_10: 5.10.109-rt65 -> 5.10.115-rt67

main
Maximilian Bosch 2 years ago
parent d56829b5fe
commit c49791b326
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
  1. 6
      pkgs/os-specific/linux/kernel/linux-rt-5.10.nix

@ -6,7 +6,7 @@
, ... } @ args:
let
version = "5.10.109-rt65"; # updated by ./update-rt.sh
version = "5.10.115-rt67"; # updated by ./update-rt.sh
branch = lib.versions.majorMinor version;
kversion = builtins.elemAt (lib.splitString "-" version) 0;
in buildLinux (args // {
@ -18,14 +18,14 @@ in buildLinux (args // {
src = fetchurl {
url = "mirror://kernel/linux/kernel/v5.x/linux-${kversion}.tar.xz";
sha256 = "1p0k46isy2wzzms801lrnb59f1nb9mhywjj7fnkrwrj9nbn25yqq";
sha256 = "0w9gwizyqjgsj93dqqvlh6bqkmpzjajhj09319nqncc95yrigr7m";
};
kernelPatches = let rt-patch = {
name = "rt";
patch = fetchurl {
url = "mirror://kernel/linux/kernel/projects/rt/${branch}/older/patch-${version}.patch.xz";
sha256 = "0w7bs5kmwvbyfy5js218ys42s8i51m8v0mbkfhiynlpm3iph357q";
sha256 = "16igpdqq8nqzf98pkrs9v692d1r1fpnwrh3qxrkja0fgzswdwc0j";
};
}; in [ rt-patch ] ++ kernelPatches;

Loading…
Cancel
Save