Hi,
For those interested in programming with the Arduino IDE under GNU/Linux, I can provide the IDE binaries (including ARM toolchain and working examples) and a helper script (in python) for the “upload” to be able to program with Arduino under GNU/Linux variants (I’ve tested F23 and Ubuntu 12.04).
Regards,
Roberto.