The Teensy is a complete USB-based microcontroller development system, in a very small footprint, capable of implementing many types of projects. All programming is done via the USB port. No special programmer is needed, only a standard "Mini-B" USB cable and a PC or Macintosh with a USB port.
Teensy project webpage: https://www.pjrc.com/teensy/
Boilerplate code to setup C runtime on Teensy 3.1 board using PJRC Build of GNU Toolchain from CodeSourcery.
Includes:
- build script
- linker script
- C runtime setup by assembly code