#ifndef __task_H
#define __task_H

#include "system.h"

#include "interCoreQueue.h"
#include "interCoreManager.h"

typedef struct
{
	rtems_id id;
	interCoreQueue_t* icq;
	rtems_name* msgTo;
}task_t;


task_t init_task(char name[4], int period, int cpu, int receiver, rtems_name msgTo[], void* func);

#endif