OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms

Table 1

Example of services provided by the OS and HAL API.

Service component	OS API
Task management	void OScreateTask(code_pointer_t f,
	intu8 priority);
	void OSdeleteTask(int task_id);
	…
Semaphore	sem_desc OScreateSem(sem_state init);
management	void OSreleaseSem(int sem_id);
	…
Timer management	void OS_time_delayHMSM(
	int h,int m, int s, int ms)
	…
	…
Architecture component	HAL API
PE	void compute(task_t^∗ t);
	save_context(task_t^∗ t);
	restore_context(task_t^∗ t);
	timer_set(int nbms);
	timer_set_irq_handler(
	code_irq_handler_t f);
	timer_start();
	timer_stop();
CE	oversoc_t_rsp_t transport(
	oversoc_t_req_t ∗REQ);