Arduino IDE with ARM toolchain and simple upload tool for GNU/Linux - View it on GitHub