Tell me more ×
Raspberry Pi Stack Exchange is a question and answer site for users and developers of hardware and software for Raspberry Pi. It's 100% free, no registration required.
up vote 4 down vote favorite

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?

share|improve this question

2 Answers

up vote 4 down vote accepted

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.

share|improve this answer
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 – Tibor 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
show 3 more comments
up vote 4 down vote

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.

http://downloads.raspberrypi.org/images/

http://downloads.raspberrypi.org/images/debian/7/

share|improve this answer
good to know... Would be nice if they would keep the links on the page... – Scolytus Aug 8 '12 at 12:39

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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