diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3b507cfe74d..f73c0b0f339 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -12007,17 +12007,7 @@ with pkgs; linuxHeaders_4_4 = callPackage ../os-specific/linux/kernel-headers/4.4.nix { cross = if targetPlatform != hostPlatform then targetPlatform else null; }; - - # We can choose: - linuxHeaders = - if targetPlatform != hostPlatform - then - { # switch - "4.4" = linuxHeaders_4_4; - }.${targetPlatform.platform.kernelMajor} - or (throw "Unknown linux kernel version") - else - linuxHeaders_4_4; + linuxHeaders = linuxHeaders_4_4; kernelPatches = callPackage ../os-specific/linux/kernel/patches.nix { };