45

Let's assume that I am dropped into a room with a Raspberry Pi running either Debian or Raspbian. How do I find out if it has hard float support or if it is just using soft float?

fouric
  • 1,809
  • 4
  • 18
  • 26

3 Answers3

55

Check for the existence of the directory:

/lib/arm-linux-gnueabihf

the soft-float version do not have this directory, they have:

/lib/arm-linux-gnueabi

instead, or you can list the packages installed using:

dpkg -l

and see the platform in the third column (all/armhf/armel)

ikku
  • 4,494
  • 1
  • 25
  • 28
  • 7
    Since someone just misinterpreted this, to make it absolutely clear: If you have a /lib/arm-linux-gnueabihf, your system is hard-float. – goldilocks Mar 25 '15 at 16:16
24

The accepted answer is correct, but a really simple method is:

dpkg --print-architecture

If your system is using a hard float architecture, you will then see:

armhf

ARM Hard Float. :-)

Chris
  • 350
  • 2
  • 6
5

Issue the command:

readelf -A $(which dpkg)

On a hard-float (hf) system, you will see this as part of the output:

Tag_ABI_VFP_args: VFP registers

See http://www.cnx-software.com/2013/04/22/how-to-detect-if-an-arm-elf-binary-is-hard-float-armhf-or-soft-float-armel/

Will
  • 200
  • 2
  • 5