@@ -18014,6 +18014,10 @@ in
1801418014 inherit kernel;
1801518015 inherit (kernel) stdenv; # in particular, use the same compiler by default
1801618016
18017+ # to help determine module compatibility
18018+ inherit (kernel) isXen isZen isHardened isLibre;
18019+ inherit (kernel) kernelOlder kernelAtLeast;
18020+
1801718021 # Obsolete aliases (these packages do not depend on the kernel).
1801818022 inherit (pkgs) odp-dpdk pktgen; # added 2018-05
1801918023
@@ -18277,6 +18281,7 @@ in
1827718281 kernelPatches.hardened.${kernel.meta.branch}
1827818282 ];
1827918283 modDirVersionArg = kernel.modDirVersion + "-hardened";
18284+ isHardened = true;
1828018285 });
1828118286
1828218287 linuxPackages_hardened = recurseIntoAttrs (hardenedLinuxPackagesFor pkgs.linux { });