We have posted a new version of the gnuarm tools at
formatting link
version 4.0.2. The binaries as well as source are hosted along with documentation and links to other sites. If you find any good sources of ARM info that is not on the site, please let us know and we will add it.BTW, this site is paid for by the ads, so if you see something you are interested in, please click them. The site uses a *lot* of bandwidth and the revenue is needed to keep it going.