//RTX51_TINY 主要也就只有7个函数

//创建任务
//id 0~15
char os_create_task(task_id);  

//删除任务
char os_delete_task(task_id);  

//发送信号
char os_send_signal(task_id);  

//中断发送信号
char isr_send_signal(task_id);  

//清除信号
char os_clear_signal(task_id);  

//获取系统id
char os_running_task_id(void);  

//系统wait
char os_wait(event_sel,ticks,dummy);