Unbreak iso_efi by feeding it a kernel that exists.

This commit is contained in:
Evgeny Egorochkin 2013-08-12 21:42:45 +03:00
parent eec1131a0b
commit 6246d75654

View File

@ -3,7 +3,7 @@
{
require = [ ./installation-cd-minimal.nix ];
boot.kernelPackages = pkgs.linuxPackages_3_8;
boot.kernelPackages = pkgs.linuxPackages_3_9;
boot.vesa = false;
# What follows should probably move into base once the base kernel has the