#include "te-linux.h"

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