From 9d8c26efaef7900f2658ba5695cee15334f6f649 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?= <viric@viric.name>
Date: Thu, 5 Mar 2015 10:00:21 +0000
Subject: [PATCH] Add comment explaining the rpi2 gcc flags.

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

diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index ae9b702b442..8bdc4f77302 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -293,6 +293,11 @@ rec {
     kernelTarget = "zImage";
     uboot = null;
     gcc = {
+      # For gcc 4.8, the best for rpi2 would be:
+      #   cpu = "cortex-a7";
+      #   fpu = "neon-vfpv4";
+      # But we prefer compatibility with the beaglebone, so both
+      # can run the same built store paths.
       arch = "armv7-a";
       fpu = "vfpv3-d16";
       float = "hard";