No, the problem wasn't the lack of support - the problem was that we had to do a ABI break in order to get significant performance benefits along with alignment to other efforts at Linaro. And such a thing isn't taken lightly - I personally don't like we had to do a break but it's now or never. It's no longer pending. The proposal reached the top after long discussions in various areas including ARM vendors (we've spoken to TI, ST-Ericsson, Qualcomm, Marvell, nVidia, Broadcom) and was agreed upon at the TSG meeting on Wednesday. Yours truly actually spent a week re-porting MeeGo to ARMv7 hardfp (from a Debian hardfp base), so the technical side is ready. As well as someone else doing the actual build integration. The kind of break we're doing, X86 wish they could do too, but can't because of all the binaries strayed around. It's about passing floating point values in fast hardware floating point registers instead of slow integer registers. The problem is that this is entirely historical, from when ARM devices didn't have a FPU, people chose the widest compatibility. For ARMv7, this is pretty guaranteed..