请问，如何用gcc编译成的带浮点运算的程序在arm7tdmi上使用？

yurp

如题
我要用linux下的gcc编译一些小程序（不是类linux）烧到arm板上。该程序是带浮点运算的程序。但是arm7tdmi没有硬浮点。我听说可以使用gcc的软浮点库进行编译。但是不知道具体怎么实现。请赐教。