Viswa writes that ARM Embedded GCC 4.7 reduces code size and now supports all the three host platforms (Windows, GNU/Linux and MAC OS). For more details on this relese see the post by Joey Ye, Engineer Manager in ARM, at ARM.com. Download links can be found here. Via the contact form.