From d770ea2ad2cd9d43631d693ee0fb0de34f2cd347 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?= <viric@viric.name>
Date: Mon, 28 Jan 2013 19:26:27 +0000
Subject: [PATCH] Fixing the kernel target for raspberrypi (zImage)

Removing uboot things about it too.
---
 pkgs/top-level/platforms.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 01f498d2def8..2ab0be62a78f 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -223,10 +223,7 @@ rec {
         UBIFS_FS_ZLIB y
         UBIFS_FS_DEBUG n
       '';
-    kernelTarget = "uImage";
-    uboot = "sheevaplug";
-    # Only for uboot = uboot :
-    ubootConfig = "sheevaplug_config";
+    kernelTarget = "zImage";
     gcc = {
       arch = "armv6";
       fpu = "vfp";