GitHub repository: DJohnsonCA/tiva-c
Description: Open source toolchain for the TI Tiva C dev board