From 60f2d9c6bbdc48648c16dd319f3bf87d31ceaf03 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 20:01:53 +0000
Subject: [PATCH] raspberrypi platform: adding a missing uboot attr

It's required, even if set to null, along all nixpkgs.
---
 pkgs/top-level/platforms.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 2ab0be62a78f..56435e66f9be 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -224,6 +224,7 @@ rec {
         UBIFS_FS_DEBUG n
       '';
     kernelTarget = "zImage";
+    uboot = null;
     gcc = {
       arch = "armv6";
       fpu = "vfp";