La semana pasada empece con estos bichos por el momento tengo el Stellaris funcionando con una TFT con bus de 16bits y un HC-SR04 para medir el nivel de agua en un tanque, la TFT con gráficas primitivas del tanque y texto en centímetros el fin de semana talvez le active el touch controller SPI
No sabia del curso

pero ya estoy inscrito

aunque programe todo en Code Composer Studio, conocer otro no estaria de mas xD
EDIT: Casi de ultimo dice
You will need to purchase either the EK-LM4F120XL or the EK-TM4C123GXL board from Texas Instruments and a set of electronic components. The cost for these parts is about $40 USD plus shipping. We will provide instructions at:
http://users.ece.utexas.edu/~valvano/edX.
Creo que si se puede usar la tarjeta que tienes, es la que Yo tengo