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?


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 Aug 8 '12 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? – Alex Chamberlain Aug 8 '12 at 7:46
  • OK, I'll give it a try... – Scolytus Aug 8 '12 at 7:50
  • or gcc -v, Arch definitely works with soft float – user13 Aug 8 '12 at 8:25
  • 1
    @Scolytus #archlinux-arm is a better channel (for ARM stuff) – Alex Chamberlain Aug 8 '12 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 Aug 8 '12 at 12:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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