I always thought the FPU in the Pi is a VFPV2, so I optimized for that.
But last night I noticed that some binaries in the Raspbian Wheezy distro are compiled for VFPV3-D16.
Which is the correct one to compile for?
And if VFPV3-D16 is supported, has it any advantages?
In this case Google wasn't my friend it seems, but readelf confirms that some binaries are compiled for VFPV3-D16.
I am running Raspbian Wheezy +rpi-update from two days ago.
Tnx.