#ifndef ICQ_MANAGER_H
#define ICQ_MANAGER_H

#include <inttypes.h>
#include "system.h"

#include "task.h"

#ifndef CONFIGURE_ICQ_MAXIMUM_INTERCORETASKS
#define CONFIGURE_ICQ_MAXIMUM_INTERCORETASKS 10
#endif

typedef struct 
{
	rtems_id 		id;
	rtems_name 		interCoreTask[CONFIGURE_ICQ_MAXIMUM_INTERCORETASKS];
	uint32_t 		interCoreTaskCounter;
}interCoreManager_t;



void init_interCoreManager(int period, int cpu);

uint32_t registerTask(uint32_t cpu, rtems_name task_name);

#endif