// sysTime.c

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





void sysTime(void) {

	 
	INTR_ON();
	 
	while (1) {
	 
	 	  // MAINTAIN SYSTEM TIME
		   
	}
	
	
	INTR_OFF();
	 
}