debianのARM portでは、EABIを使うと浮動小数点演算が速くなる(かも)

debianのARM EABI portの方が、EABIじゃないportより浮動小数点演算が速い(ことがある)。
なぜかと言うと、EABI以前では、
・浮動小数点演算を行う場合、FPU命令コードを入れていた。
・FPUを持っていないCPUの場合、例外が発生する
・例外で、ソフトウェア的に浮動小数点演算を行っていた。

EABIの場合は、ソフトウェアで浮動小数点演算を行ったり、FPUを使って計算したりを、動的に変える事ができるそうな。

参考:
ArmEabiPort
Why ARM's EABI matters