Instalación herramientas de desarrollo TivaC LaunchPad

Aunque generalmente prefiero trabajar directamente con el codigo C y los ToolChain GCC, en esta página trabajare con un entorno de desarrollo basado en el Ide de Arduino llamado Energia

  • Descargamos e instalamos el Ide siguiendo las instrucciones según el sistema operativo. Descargar Energia
  • Seleccionamos la tarjeta con la que vamos a trabajar ya sea la TM4C123 o la TM4C129.

  • Para los usuarios en linux de 64 bits se nos puede presentar el siguiente error : arm-none-eabi-g++: No such file or directory

Lo solucionamos desde la consola

sudo dpkg --add-architecture i386   
sudo apt-get update  
sudo apt-get install libc6:i386