This article describes the floating point performance benefits of the ARM EABI (embedded application binary interface), which now has its own Debian port. The authors use an open source floating point benchmark to compare how compiling with EABI support can improve floating point performance.
http://www.linuxdevices.com/articles/AT5920399313.html -- Andrés
