teensy-lc

This is the port of nuttx for the Teensy LC board. The Teensy LC is a DIP style breakout board for the MKL25Z64 and comes with a USB based bootloader.