Joachim Fasting 893186f4fd kernel-headers: mark broken for grsecurity kernels ... Extracting headers from a grsecurity patched kernel triggers additional build steps that require gcc plugins. For this to work, we'd need to add gmp, libmpfr, and libmpc to the build inputs as well as run `make prepare` before installing the headers (lest the build fail due to missing files). Out-of-tree modules use kernel.dev and user space should use the Linux API headers used to build libc, not headers extracted from random kernels, so fixing this for grsecurity is pointless.		2016-04-19 14:45:30 +02:00
..
2.4.nix	Remove unnecessary parentheses around if conditions	2012-12-28 19:54:15 +01:00
3.18.nix	linuxHeaders: Update 3.14 -> 3.18	2015-05-22 15:29:02 +02:00
default.nix	kernel-headers: mark broken for grsecurity kernels	2016-04-19 14:45:30 +02:00