// sys_time.c
#include <stdio.h>
#include <912d60.h>
#include "kernel.h"





void sysTime(void) {

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