/* Task function for blinking the LED as a fixed timer interval.  */
void LedBlinkTask(void)
/* Task function for blinking the LED as a fixed timer interval.  */
void LedBlinkTask(void)
{
  static blt_bool ledOn = BLT_FALSE;
  static blt_int32u nextBlinkEvent = 0;
  if (TimerGet() >= nextBlinkEvent)
  {
    if (ledOn == BLT_FALSE)
    {
      ledOn = BLT_TRUE;
      IfxPort_setPinLow(&MODULE_P00, 5U);
    }
    else
    {
      ledOn = BLT_FALSE;
      IfxPort_setPinHigh(&MODULE_P00, 5U);
    }
    nextBlinkEvent = TimerGet() + ledBlinkIntervalMs;
  }
}