Are there known issues with earmhf?

[Dennis Ferguson <dennis.c.ferguson%gmail.com@localhost>]

I was interested in using earmhf on the am335x processor since it
makes a measurable difference (with Linux) for the application I'm
trying to support and it is easy to pick an abi up front but harder
to change one's mind later.  What I've found is that while the system
builds just fine this way, and the kernel boots, applications which
use floating point misbehave.  For a minimal example (it uses floating
point only to handle time intervals), `ping xxx` or `ping -i 1 xxx`
sends packets just as fast as it possibly can while `ping -i 2 xxx` sends
a single packet and then waits forever.

While I've looked at this briefly enough to only make a guess, it appears
that floating point arithmetic done entirely within the application works
okay, as do varargs function like printf(), but some other library function
calls involving floating point values may be misbehaving.

Beyond this I'm not sure where to look.  Is this a known issue with earmhf
and, if so, is it known what needs to be looked at?  Is there an interesting
place to look for code that is handling floating point function arguments
and that may have built-in knowledge of the abi (e.g. assembly code)?

Dennis Ferguson