Template for Tiva C Launchpad using GCC; depends on TivaWare