···14196 kernel = null; # dpdk modules are in linuxPackages.dpdk.kmod
14197 };
1419814199+ # Using fetchurlBoot because this is used by kerberos (on Linux), which curl depends on
14200+ keyutils = callPackage ../os-specific/linux/keyutils { fetchurl = fetchurlBoot; };
1420114202 libselinux = callPackage ../os-specific/linux/libselinux { };
14203