#ifndef _CTX_HANDLER_H
#define _CTX_HANDLER_H

#include <giet_config.h>

/////////////////////////////////////////////////////////////////////////////////
//	Definition of the scheduler structure
/////////////////////////////////////////////////////////////////////////////////

typedef struct static_scheduler_s
{
    unsigned int	context[GIET_NB_TASKS_MAX][64];	  // task contexts
    unsigned int	tasks;				              // actual number of tasks
    unsigned int	current;			              // current task index
} static_scheduler_t;

//////////////////////////////////////////////////////////////////////////////////
// 	Prototype of the context switch function
//////////////////////////////////////////////////////////////////////////////////

extern void _ctx_switch();

extern static_scheduler_t _scheduler[];

#endif