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)
commitc5f874596b81f18e8763e23205fa3ee646514477
treea375cf1936cf53a3c15cfef40e5fd0c67fd78a12
parent5ad2c05a51e37a4a672a90b29ee97e392647ccc7
configs/raspberrypi: use EABIhf

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