From 513443dc9f3b2d486d82fa718b393e899260f905 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?=
 <viric@vicerveza.homeunix.net>
Date: Thu, 18 Feb 2010 09:42:59 +0000
Subject: [PATCH] Setting the pc kernel image to 'vmlinuz', and not 'bzImage'.
 I thought it had to be bzImage. I should have checked better.

svn path=/nixpkgs/trunk/; revision=20091
---
 pkgs/top-level/platforms.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 8bbb3ae56a8d..81ef7764b152 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -7,7 +7,7 @@ with pkgs;
     kernelBaseConfig = "defconfig";
     # Build whatever possible as a module, if not stated in the extra config.
     kernelAutoModules = true;
-    kernelTarget = "bzImage";
+    kernelTarget = "vmlinuz";
     kernelExtraConfig =
       ''
         # Virtualisation (KVM, Xen...).