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?
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