void initScheduler()
Initialize scheduler
void setSchedulingPolicy(char policy)
Set scheduling policy
policy - Scheduling policy to set
SCHED_ROUND_ROBIN, SCHED_USER_POLICY
void makeRPiScheduler()
Generate scheduler
void setUserPolicy(void (*user_schedule_policy)())
Set user defined policy
user_schedule_policy - User defined policy
void setSchedulerStatus(int status)
Set scheduler status
status - TRUE , FALSE(pause)