From c1b803ba0ea9402ef8f4264896691d04c8167ec7 Mon Sep 17 00:00:00 2001
From: Ambroz Bizjak <ambrop7@gmail.com>
Date: Sat, 21 Feb 2015 22:29:40 +0000
Subject: [PATCH] Cut down on the gcc flags for raspberrypi2.

---
 pkgs/top-level/platforms.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index e032a383e468..ae9b702b442c 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -293,8 +293,8 @@ rec {
     kernelTarget = "zImage";
     uboot = null;
     gcc = {
-      cpu = "cortex-a7";
-      fpu = "neon-vfpv4";
+      arch = "armv7-a";
+      fpu = "vfpv3-d16";
       float = "hard";
     };
   };