linuxPackages: remove kernelHeaders

User-space programs should not be using headers extracted from random
kernels, but should in fact use the headers that were used to build
libc; see e.g., this LKML posting by Linus Torvalds on the subject of
Linux API headers at [1].

What is more, the Linux API headers are supposed to be backwards
compatible[2], so there's really no good reason to have more than one
such package, namely the latest one required by a package in our tree.

That is, `kernelHeaders` is not only incorrect but serves no real
purpose: out-of-tree modules use the sources provided by `kernel.dev`;
user space should use `stdenv.cc.libc.linuxHeaders` or the top-level
`linuxHeaders` attribute.

Apart from klibc, nothing in nixpkgs used `linuxPackages.kernelHeaders`,
so the impact of this change is minimal.

[1]: http://lkml.iu.edu/hypermail/linux/kernel/0007.3/0587.html
[2]: https://www.kernel.org/doc/Documentation/kbuild/headers_install.txt

1 files changed, 0 insertions, 2 deletions

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a6ba3e97830c..264c67cf0b39 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -10670,8 +10670,6 @@ in
 
     facetimehd = callPackage ../os-specific/linux/facetimehd { };
 
-    kernelHeaders = callPackage ../os-specific/linux/kernel-headers { };
-
     jool = callPackage ../os-specific/linux/jool { };
 
     mba6x_bl = callPackage ../os-specific/linux/mba6x_bl { };