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.