Anyway things are all set up again and hopefully devkitARM release 41 will be available over the next few days, mainly that will be gcc 4.7.1, gdb 7.4.1 and a few tweaks to some of the included tools.
If you like the toolchains and you'd consider buying me a beer if you lived nearby then please consider a donation. The chipin fund can be found at http://devkitpro.chipin.com/wintermutes-birthday-fund and also on the main portal or, if you're looking for some other reasons to donate you could look at http://devkitpro.org/support-devkitpro/
Whatever you decide, thanks for using the toolchains and making all the cool homebrew I love to see
