#include "os_clock.h"
#include "os_task.h"
#include "stm32l4xx_hal.h"

volatile int OS_TickFlag = 0;

void os_SetTickFlag(void)
{
    OS_TickFlag = 1;
}
int os_GetTickFlag(void)
{
    return OS_TickFlag;
}
void os_ClearTickFlag(void)
{
    OS_TickFlag = 0;
}