Bare metal ARM tools for Teensy 3.1
Karl Lunt set up the GNU ARM tool chain for "bare metal" (no Arduino, no IDE, just "make") Teensy 3.1 development on Windows.
I adapted his instructions and Makefile for Ubuntu, which has the pre-built ARM cross tools available, making it real easy to get...