#include "te-linux.h" /* The EABI requires the use of VFP. */ #define FPU_DEFAULT FPU_ARCH_VFP_V2