/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
{
  GPIOPinWrite(GPIO_PORTG_BASE, GPIO_PIN_2, 0);
}