nixpkgs/pkgs/os-specific/linux/kernel
2013-10-06 20:17:02 +02:00
..
builder.sh
common-config.nix splashutils: Remove 2013-09-26 18:03:43 +02:00
generate-config.pl
generic.nix
linux-3.0.nix linux-3.0: upgrade to 3.0.99 2013-10-06 20:17:02 +02:00
linux-3.2.nix linux: Update to 3.2.51 2013-09-13 05:13:18 +02:00
linux-3.4.nix linux-3.4: upgrade to 3.4.65 2013-10-06 20:17:01 +02:00
linux-3.9.nix
linux-3.10.nix linux-3.10: upgrade to 3.10.15 2013-10-06 20:17:01 +02:00
linux-3.11.nix linux-3.11: upgrade to 3.11.4 2013-10-06 20:17:01 +02:00
linux-3.12.nix linux-3.12: upgrade to 3.12-rc3 2013-10-06 20:17:01 +02:00
linux-rpi-3.6.nix raspberrypi-kernel: Updated to latest version as of 20130826 (rev 7849605f5a) 2013-08-27 12:30:47 +02:00
linux.upstream.template
manual-config.nix
mips-ext3-n32.patch
mips-fpu-sigill.patch
mips-fpureg-emulation.patch
no-xsave.patch
patches.nix grsecurity: Update to 2.9.1-3.2.51-201309101928 2013-09-13 05:13:25 +02:00
perf.nix
sec_perm-2.6.24.patch