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


// GLOBAL VARIABLES
static unsigned char abort;


void sys_time(void) {

	 abort = 0;
	 set_task_priority(get_task_id(), 1);
	 //spawn(sys_time_abort());
	 INTR_ON();
	 
	 while (!abort) {
	 
	 	   // DISPLAY TIME: hh:mm:ss
		   
	 }
	
	 INTR_OFF();
	 
}



void sys_time_abort(void) {

	 INTR_ON();
	 getchar();
	 abort = 1;
	 INTR_OFF();
	 
	 
}