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


// void SysTick_Handler(void)
// {
//     OS_TickFlag = 1;
// }

// void Ostick_ReInit(void)
// {
    
// }


void HAL_IncTick(void)
{
//   uwTick += (uint32_t)uwTickFreq;
OS_TickFlag = 1;

}