Quote from dpawson on November 29, 2011, 07:36
and the GNU system seems not to let me say I have processor X,
so any ARMv7 instructions slip through happily.
Of course it does. I'd say "RTFM", but given that it has the same state of GNU documentation as the rest of the tools, I'll let you off. You'll find the docs in the source tree, IIRC, or here : http://sourceware.org/binutils.....RM-Options
So. Setting a given processor (examples for Raspberry Pi).
Full list of supported processors and extensions given in the link above.
You could get less specific and give a particular architecture:
Again, see the doc for a full list.
If you're using floating point at all, you'll also want -mfpu:
I'm fairly certain the Pi is vfpv2, but check.
There's a load of other ARM-specific options, see the docs.