Raspberry Pi port, piCore-15.0 is available!
gcc-4.2.2 - GPLv2 - http://ftp.gnu.org/gnu/gcc/gcc-4.2.2/gcc-4.2.2.tar.bz2 [libstdc++.a/.la]