/* The function to call when the LED1 FreeRTOS timer expires.  */
static void led_toggle_timer_callback(void *pvParameter)
/* The function to call when the LED1 FreeRTOS timer expires.  */
static void led_toggle_timer_callback(void *pvParameter)
{
    UNUSED_PARAMETER(pvParameter);
    bsp_board_led_invert(BSP_BOARD_LED_1);
}