linux/hardened/4.14: fix build

main
Maximilian Bosch 2 years ago
parent 5580ef0c63
commit ddf613299d
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
  1. 6
      pkgs/top-level/linux-kernels.nix

@ -11,6 +11,7 @@
, newScope
, lib
, fetchurl
, gcc10Stdenv
}:
# When adding a kernel:
@ -524,7 +525,10 @@ in {
linux_hardened = recurseIntoAttrs (hardenedPackagesFor packageAliases.linux_default.kernel { });
linux_4_14_hardened = recurseIntoAttrs (hardenedPackagesFor kernels.linux_4_14 { });
linux_4_14_hardened = recurseIntoAttrs (hardenedPackagesFor kernels.linux_4_14 {
stdenv = gcc10Stdenv;
buildPackages = buildPackages // { stdenv = buildPackages.gcc10Stdenv; };
});
linux_4_19_hardened = recurseIntoAttrs (hardenedPackagesFor kernels.linux_4_19 { });
linux_5_4_hardened = recurseIntoAttrs (hardenedPackagesFor kernels.linux_5_4 { });
linux_5_10_hardened = recurseIntoAttrs (hardenedPackagesFor kernels.linux_5_10 { });

Loading…
Cancel
Save