/* Thread for toggling LED_1. 
This thread is receiving signals from main loop and toggle BSP_LED_1. */
static void blinky_thread(void const *arg)
/* Thread for toggling LED_1. 
This thread is receiving signals from main loop and toggle BSP_LED_1. */
static void blinky_thread(void const *arg)
{
    UNUSED_PARAMETER(arg);
    osEvent evt;
    while (true)
    {
        evt = osSignalWait(SIGNAL_OUTPUT_1_TOGGLE, osWaitForever);
        if (evt.status == osEventSignal)
        {
            bsp_board_led_invert(BSP_BOARD_LED_1);
        }
    }
}