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