Fork of Arduino for the Texas Instruments LaunchPad's