Closed
Description
There are actually two distribution of arm-gcc-none-eabi, one from CodeSourcery:
http://www.mentor.com/embedded-software/sourcery-tools/sourcery-codebench/editions/lite-edition/
and one from ARM:
https://launchpad.net/gcc-arm-embedded
Arduino Due uses an old version 4.4.1 from CodeSourcery. Replacing it with the latest 4.7.3 works flawlessy, but unfortunately CodeSourcery doesn't provide prebuilt binaries for MacOS or Linux64 and building it from sources is very hard.
On the other side ARM provides binaries also for MacOSX and building the Linux64 version is easily done by following their instructions. Unfortunately the compiler didn't work as expected: the Blink sketch produced by gcc, for some reason, doesn't run on the Due board.