I'm trying to find an OS that was compiled with -mfloat-abi=softfp to be able to use my precompiled ARM binaries on my Raspberry. Although I understand the reason why Raspbian and Arch are compiled with hard, I'd like to give it a try and compare the performance.

Is there such a distribution/image?

2 Answers 2


Arch Linux

At this stage (archlinuxarm-13-06-2012.img), Arch uses soft float ABI (softfp). You'd better grab an image quick, because it will start using hard float soon.

  • That's interesting since yesterday they told me on IRC that it's a hard float image... OK, thanks, I'll give it a try...
    – Scolytus
    Commented Aug 8, 2012 at 7:37
  • I haven't got my Pi to hand Once you've burnt the Arch image, you should be able to find out with it is hard or soft. uname -a maybe? Commented Aug 8, 2012 at 7:46
  • OK, I'll give it a try...
    – Scolytus
    Commented Aug 8, 2012 at 7:50
  • or gcc -v, Arch definitely works with soft float
    – user13
    Commented Aug 8, 2012 at 8:25
  • 1
    @Scolytus #archlinux-arm is a better channel (for ARM stuff) Commented Aug 8, 2012 at 12:34

Debian, Arch and other images.

You can still download the old debian wheezy image from the official raspberry pi download mirror. Debian wheezy image is 100% sure softfloat, because it is the official arm port of debian.

There exists no official link to it, but you can find it in the index of the mirror.



  • good to know... Would be nice if they would keep the links on the page...
    – Scolytus
    Commented Aug 8, 2012 at 12:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.