A template for TI Stellaris firmware