Monday, June 30, 2014

ARMHF or ARMEL?

We like Raspberry Pi, and we wonder which distribution are we using now. Do this to find out yourself:

$ readelf -A /proc/self/exe | grep Tag_ABI_VFP_args
Tag_ABI_VFP_args: VFP registers

If the Tag_ABI_VFP_args tag is found, then you're running on an ARMHF system.  If nothing is returned, then it's ARMEL.  The example above indicates an armhf distro. And the below:

$ pi@raspberrypi:~$ readelf -A /proc/self/exe | grep Tag_ABI_VFP_args 

Nothing returned indicates that this is indeed ARMEL, which is the soft-float Debian Wheezy distribution.