/* Cause the LED to blink once per second using a blocking delay  */
int main(void)
/* Cause the LED to blink once per second using a blocking delay  */
int main(void)
{
  systemInit();
  while (1)
  {
    systickDelay(1000);
    if (gpioGetValue(CFG_LED_PORT, CFG_LED_PIN) == CFG_LED_OFF)
    {
      gpioSetValue (CFG_LED_PORT, CFG_LED_PIN, CFG_LED_ON); 
    }
    else
    {
      gpioSetValue (CFG_LED_PORT, CFG_LED_PIN, CFG_LED_OFF); 
    }
  }
  return 0;
}