GCC ARM Toolchain Source - for running Arduino on Raspberry Pi - View it on GitHub