configs/raspberrypi: use EABIhf
authorBenoît Thébaudeau <benoit@wsystem.com>
Sat, 22 Aug 2015 20:01:25 +0000 (22:01 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 12 Oct 2015 21:58:12 +0000 (23:58 +0200)
The SoC of the Raspberry Pi 1 is an ARM1176JZF-S, which features a VFPv2
FPU, so use the EABIhf target ABI, which is more efficient than EABI.
This is also the default on Raspbian.

Signed-off-by: Benoît Thébaudeau <benoit@wsystem.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
configs/raspberrypi_defconfig

index af702a3d7d7eb41b3c589c94eab5cc065e9a3264..2d470588fb646c07bca66254d3e2e21eac873d64 100644 (file)
@@ -1,5 +1,6 @@
 BR2_arm=y
 BR2_arm1176jzf_s=y
+BR2_ARM_EABIHF=y
 
 BR2_TARGET_GENERIC_GETTY_PORT="tty1"