linux-rt_5_10: 5.10-rt17 -> 5.10.1-rt19

This commit is contained in:
Tim Steinbach 2020-12-17 09:16:17 -05:00
parent bc949bb67e
commit 08d67bbd0d
No known key found for this signature in database
GPG key ID: 6538CB9266B06F31

View file

@ -6,7 +6,7 @@
, ... } @ args:
let
version = "5.10-rt17"; # updated by ./update-rt.sh
version = "5.10.1-rt19"; # 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 = "0hyav21vzz5v1kgb455pcz9ncg5qqzxmp60na290scwq7vj9kpyw";
sha256 = "0p2fl7kl4ckphq17xir7n7vgrzlhbdqmyd2yyp4yilwvih9625pd";
};
kernelPatches = let rt-patch = {
name = "rt";
patch = fetchurl {
url = "mirror://kernel/linux/kernel/projects/rt/${branch}/older/patch-${version}.patch.xz";
sha256 = "0baf7363f6h3smr4lgw88dbpf4977j6c1asifyhc8zhd7100ckhn";
sha256 = "0hihi7p866alh03ziz8q1l0p3sxi437h4a45c5dlv9lrg6f177qb";
};
}; in [ rt-patch ] ++ lib.remove rt-patch kernelPatches;