Merge pull request #174187 from trofi/update-linux-headers

linuxHeaders: 5.17 -> 5.18
This commit is contained in:
Sergei Trofimovich 2022-06-02 08:52:23 +00:00 committed by GitHub
commit 2ff678ec1e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -84,12 +84,12 @@ let
in {
inherit makeLinuxHeaders;
linuxHeaders = let version = "5.17"; in
linuxHeaders = let version = "5.18"; in
makeLinuxHeaders {
inherit version;
src = fetchurl {
url = "mirror://kernel/linux/kernel/v5.x/linux-${version}.tar.xz";
sha256 = "1cdi43x4c3l4chznh57gm55szycj4wjlxl1dss1ilnfvvmhyypsm";
sha256 = "1vjwhl4s8qxfg1aabn8xnpjza3qzrjcp5450h9qpjvl999lg3wsi";
};
patches = [
./no-relocs.patch # for building x86 kernel headers on non-ELF platforms