Bodhi 最新版是基于 debian wheezy , 使用 armhf
引用:
在Ubuntu 12.04和Debian里，除了arm, armel，还出现了一个名为armhf的版本。这个东西是什么？
众所周知，armel是目前主要的ARM ABI。armhf则是armel的一个变种，主要区别在浮点计算上。
在armel中，关于浮点数计算的约定有三种。以gcc为例，对应的-mfloat-abi参数值有三个：soft,softfp,hard。soft是指所有浮点运算全部在软件层实现，效率当然不高，适合于早期没有浮点计算单元的ARM处理器；softfp是目前armel的默认设置，它将浮点计算交给FPU处理，但函数参数的传递使用通用的整型寄存器而不是FPU寄存器；hard则使用FPU浮点寄存器将函数参数传递给FPU处理。
需要注意的是，在兼容性上，soft与后两者是兼容的，但softfp和hard两种模式不兼容。默认情况下，armel使用softfp，因此将hard模式的armel单独作为一个abi，称之为armhf。
使用softfp模式，会存在不必要的浮点到整数、整数到浮点的转换。而使用hard模式，在每次浮点相关函数调用时，平均能节省20个CPU周期[1]。对ARM这样每个周期都很重要的体系结构来说，这样的提升无疑是巨大的。
在完全不改变源码和配置的情况下，在一些应用程序上，使用armhf能得到20——25%的性能提升[2]。对一些严重依赖于浮点运算的程序，更是可以达到300%的性能提升[3]。
在gcc的编译参数上，使用-mfloat-abi=hard -mfpu=vfp即可。
linux with armfp的历史
2010年7月18日，非官方的debian-armhf移植工作开始[9]。
2011年11月24日，该移植开始成为debian官方活动。
目前，debian仓库中超过90%的软件已经移植完毕[10]。
Debian在Wheezy (7.0)发布armhf的正式版。而Ubuntu也计划在Precise Pangolin 12.04 LTS中发布一个armhf版。
Bodhi 最新版 从armel 转到了 armhf |
