Definitely. That's what I liked about the Teensy++2, apt-get avr tools, download and compile the loader, and I'm ready to go. While I'm waiting on my Teensy3 order to come in, why are you needing to compile gcc? The gcc on raspbian already is an ARM compiler, and from the Makefile arguments...