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
..
default.nix	Again, trying to fix the kernel build.	2010-02-18 10:25:33 +00:00