1 #include "te-obsd.h"
2 
3 /* The EABI requires the use of VFP.  */
4 #define FPU_DEFAULT FPU_ARCH_VFP_V2
5 #define EABI_DEFAULT EF_ARM_EABI_VER4
6