Arduino para Launchpad- Stellaris e Tiva C Series
Qualquer semelhança é mera coincidência
Arduino oficial (atmega, avr, …)
http://www.arduino.cc/
API do arduino para MSP430, ARM Cortex-M4F (Stellaris e Tiva C series)
http://www.energia.nu/
Arduino IDE (arduinos AVR) e Energia IDE (Stellaris e Tiva C series)