nixpkgs/pkgs/os-specific/linux/kernel
Lluís Batlle i Rossell 5fc64e5f9c Again, trying to fix the kernel build.
It seems that there is no make target named 'vmlinuz' that makes the file 'vmlinuz'.
So we need different variables for the make target and the kernel file. Unless we
some day stop using the file 'vmlinuz' in pc, and use bzImage.

svn path=/nixpkgs/trunk/; revision=20092
2010-02-18 10:25:33 +00:00
..
builder.sh Again, trying to fix the kernel build. 2010-02-18 10:25:33 +00:00
config-2.6.31-armv5tel
config-blocks.nix Updating from trunk. 2010-01-25 18:52:07 +00:00
generate-config.pl Made the kernel generate-config "build as modules as you can" an option. 2010-02-16 19:27:51 +00:00
generic.nix Trying to make the linux kernels also cross-build. 2010-02-17 22:20:56 +00:00
linux-2.6.25.nix * Hm, I thought I tested this... 2009-12-18 12:23:13 +00:00
linux-2.6.27.nix svn path=/nixpkgs/trunk/; revision=19724 2010-01-29 00:38:34 +00:00
linux-2.6.28.nix * Use the kernel config generator for Linux 2.6.28. 2009-12-14 18:34:46 +00:00
linux-2.6.29.nix * Use the kernel config generator for Linux 2.6.27. 2009-12-14 15:28:55 +00:00
linux-2.6.31.nix
linux-2.6.32.nix * Linux 2.6.32.8. 2010-02-11 14:33:17 +00:00
patches.nix * Add the gcov patch to patches.nix. 2010-01-03 17:57:08 +00:00
sec_perm-2.6.24.patch