From 322faf92196ddf282703ddc608e221eeaaa6578c Mon Sep 17 00:00:00 2001 From: Tuomas Tynkkynen Date: Sun, 17 Jul 2016 00:14:22 +0300 Subject: [PATCH] platforms.nix: Switch ARMv7 to vfpv3-d16 Make ARMv7 compatible with non-NEON chips, changing to the same float ABI that Debian and Arch Linux use. This is apparently required for the binaries to work on Scaleway, for instance. --- pkgs/top-level/platforms.nix | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index 1be8c7ad264e..3c94501b1a53 100644 --- a/pkgs/top-level/platforms.nix +++ b/pkgs/top-level/platforms.nix @@ -417,11 +417,12 @@ rec { # Cortex-A15: -mfpu=neon-vfpv4 # More about FPU: - #https://wiki.debian.org/ArmHardFloatPort/VfpComparison + # https://wiki.debian.org/ArmHardFloatPort/VfpComparison - # We try to be compatible with beaglebone by now + # vfpv3-d16 is what Debian uses and seems to be the best compromise: NEON is not supported in e.g. Scaleway or Tegra 2, + # and the above page suggests NEON is only an improvement with hand-written assembly. arch = "armv7-a"; - fpu = "neon"; + fpu = "vfpv3-d16"; float = "hard"; # For Raspberry Pi the 2 the best would be: