> Yes, but presumably you could make those pseudo-ops ARM-specific, > rather than EABI specific?
Could, but gcc doesn't always know the specific .fpu. I imagine version-sync nightmares too, so IMHO we should either do a command-line thing from gcc, or just forget it if EABI works.
