A template for building firmware for Texas Stellaris ARM microcontrollers