#include "kernel.h"
#include "ecrobot_interface.h"

//OSEK declarations
DeclareCounter(SysTimerCnt);

//nxtOSEK hook to be invoked from an ISR in category 2
void user_1ms_isr_type2(void)
{
	StatusType ercd;

	ercd = SignalCounter(SysTimerCnt);
	if(ercd != E_OK)
	{
		ShutdownOS(ercd);
	}
}

//Task1 executed every 500msec
TASK(Task1)
{
	//Display "Hello, World!"
	ecrobot_status_monitor("Hello, World!");

	TerminateTask();
}