/* Function for handling the timer timeout and blinking LED_0. 
This function will be called each time the timer expires. */
static void led_toggle_timer_handler(void const *arg)
/* Function for handling the timer timeout and blinking LED_0. 
This function will be called each time the timer expires. */
static void led_toggle_timer_handler(void const *arg)
{
    UNUSED_PARAMETER(arg);
    bsp_board_led_invert(BSP_BOARD_LED_0);
}