Project template for Tiva series MCU:
http://www.ti.com/tiva
Toolchains:
https://launchpad.net/gcc-arm-embedded
http://packages.ubuntu.com/trusty/gcc-arm-none-eabi
Flash utilities:
https://github.com/utzig/lm4tools/tree/master/lm4flash
Use with ISC license:
http://opensource.org/licenses/ISC