#include "te-linux.h"

/* The EABI requires the use of VFP.  */
#define FPU_DEFAULT FPU_ARCH_VFP_V2