/pkgs/os-specific/linux/kernel/
../
builder.sh
common-config.nix
generate-config.pl
generic.nix
linux-3.0.nix
linux-3.10.nix
linux-3.11.nix
linux-3.12.nix
linux-3.2.nix
linux-3.4.nix
linux-3.9.nix
linux-rpi-3.6.nix
linux.upstream.template
manual-config.nix
mips-ext3-n32.patch
mips-fpu-sigill.patch
mips-fpureg-emulation.patch
no-xsave.patch
patches.nix
perf.nix
sec_perm-2.6.24.patch