#include <stdio.h>
#include <912d60.h>
#include "kernel.h"



/* dummy task to eat up time, and to give the kernel
   something to multitask with  */
void task2 (void) {
	 
	 int i;
	 
	 INTR_ON();
	 
	 //0x800 = ~ 12ms
	 for (i=0; i<0x0800; i++);
	 //puts("-T2-");
	 
	 INTR_OFF();
	 
}