MODULE schedule;
%{
#include "msg.h"
%}

BASICRES     1 ms;
BLUEPRESCALE 1;

BLUEKERNELSTACK 30000;
BLUEIDLESTACK   30000;

BLUETHREAD A ENTRY blueFunk STACKSIZE 22000 PRIORITY 13;

REDTHREAD Dummy ENTRY dummy;

REDSTACKSIZE 500;

SCHEDULE redSchedule PERIODTIME 10000;
	RELEASETIME 9990;
		Dummy DEADLINE 10000;