> 2. Abandon using a header file at all. Instead use a configure test > to see if we are using an assembler that supports textual names in a > .eabi_attribute directive and if so use the names rather than the numbers.
I'm not sure this is mutually exclusive with using a header file, but using the names where possible sounds like a nice idea in principle. There are practical issues with tags introduced in newer EABI revisions (which may not be supported by older assemblers). However you probably need linker support anyway and get the new assembler for free in that case. I wouldn't put money on old binutils working reliably with new gcc in the first place. Paul
