osTimerDef(LEDTimer, osTimerCallback);
osTimerId osTimer = osTimerCreate (osTimer(LEDTimer), osTimerPeriodic, NULL);
osTimerStart(osTimer, 500);
static void osTimerCallback (void const *arg)
{
(void)arg;
HAL_GPIO_TogglePin(GPIOF, GPIO_PIN_10);
}