C code to turn onboard LEDS on/off using TI Stellaris or Tiva Launchpad