Hi, I just uploaded the pre-built toolchains i use for the Teensy 3.0 and Raspberry PI to github. 1. Prebuilt gcc 4.7.3 for the raspberry pi (gnueabi hardfp) You would like to write C/C++ code for the raspberry pi but compiling natively takes too long? You could build a cross compiler toolchain! ... or simply use the one i built. https://github.com/kallaballa/Raspberry-GCC-4.7.3 Prerequisite: Linux x86_64 (libc6) 2. ArduinoIDE-GCC-4.6.2 Arduino IDE for the Teensy 3.0 with C++11 support (none-eabi hardfp) The sole pupose of this repository is to host my fork of the Arduino IDE for the Teensy 3.0 Why? I wanted C++11 support on the Teensy 3.0 (using an ARM Cortex M4 with hard fp) and so i bundled the arduino ide with a pre-built gcc-4.6.2 (https://launchpad.net/gcc-arm-embedded/+download). auto, lambda, stl, boost ... :) https://github.com/kallaballa/ArduinoIDE-GCC-4.6.2 Prerequisite: Linux x86 (libc6) have fun, amir