#ifndef _TASK_HAL_H_
#define _TASK_HAL_H_


#include <stdint.h> 

void OS_TriggerGroup1ms(void);

#endif