/* Thread (LED_Thread1) used to toggle a LED when getting the appropriate signal.  */
static void LED_Thread1(void const *argument)
/* Thread (LED_Thread1) used to toggle a LED when getting the appropriate signal.  */
static void LED_Thread1(void const *argument)
{
  (void) argument;
  osEvent event;
  for(;;)
  {
    event = osSignalWait( BIT_0, osWaitForever);
    if(event.value.signals == BIT_0)
    {
      BSP_LED_Toggle(LED3);
    }
  }
}