Richard, are you going to check in these deprecations for 4.7 (with the additional deprecation of old-ABI uClinux as I noted in <http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01260.html>)? Time is rapidly running out for doing so.
Note that current glibc ports no longer supports ARM old-ABI; I removed that support (which was already probably rather bitrotten) on 2012-01-07. -- Joseph S. Myers jos...@codesourcery.com