I purchased the TIVA EK-TM4C1294XL connected launchpad board.
I visited the TI web page with the software packages (www.ti.com/tool/sw-ek-tm4c1294xl) and I didn't find any package for the CodeSourcery environment (I'm using Codesourcery for the Stellaris LM3S9B92).
Does this mean that CodeSourcery is no more supported by TI?