```c
/*
This is adapted from the hello.c example provided in Code Composer Studio. This program will cycle through the red, green, and blue LEDs.
*/
#include <stdint.h>
#include <stdbool.h>
#include "inc/hw_memmap.h"
#include "inc/hw_types.h"
#include "driverlib/debug.h"
#include "driverlib/fpu.h"
#include "driverlib/gpio.h"
#include "driverlib/pin_map.h"
#include "driverlib/rom.h"
#include "driverlib/rom_map.h"
#include "driverlib/sysctl.h"
/*
Define which GPIO pins correspond to which LED color.
*/
#define RED_LED GPIO_PIN_1
#define BLUE_LED GPIO_PIN_2
#define GREEN_LED GPIO_PIN_3
#ifdef DEBUG
void
__error__(char *pcFilename, uint32_t ui32Line)
{
/* ... */
}
#endif
void
ToggleOnboardLED(int LED_pin)
{
/* Turn on the LED. */
GPIOPinWrite(GPIO_PORTF_BASE, LED_pin, LED_pin);
/* Delay for a bit. */
SysCtlDelay(SysCtlClockGet() / 10 / 3);
/* Turn off the LED. */
GPIOPinWrite(GPIO_PORTF_BASE, LED_pin, 0);
}
int
main(void)
{
/* Enable lazy stacking for interrupt handlers. */
MAP_FPULazyStackingEnable();
/* Set the clocking to run directly from the crystal. */
MAP_SysCtlClockSet(SYSCTL_SYSDIV_4 | SYSCTL_USE_PLL | SYSCTL_XTAL_16MHZ | SYSCTL_OSC_MAIN);
/* Enable the GPIO port that is used for the onboard LEDs. */
MAP_SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);
/* Enable the GPIO pins for the LEDs. */
MAP_GPIOPinTypeGPIOOutput(GPIO_PORTF_BASE, RED_LED);
MAP_GPIOPinTypeGPIOOutput(GPIO_PORTF_BASE, BLUE_LED);
MAP_GPIOPinTypeGPIOOutput(GPIO_PORTF_BASE, GREEN_LED);
/* Infinite loop. */
while(1)
{
/* Toggle the three onboard LEDs. */
ToggleOnboardLED(RED_LED);
ToggleOnboardLED(BLUE_LED);
ToggleOnboardLED(GREEN_LED);
}
}
```