*** tkdev_timer.h.bak	Fri Apr 10 21:15:44 2009
--- tkdev_timer.h	Fri Apr 24 22:39:58 2009
***************
*** 113,119 ****
  	knl_define_inthdr(TimerIntVec, knl_timer_handler_startup);
  
  	/* Timer interrupt enable */
! 	EnableInt(TimerIntVec, TimerIntPri);
  }
  
  /*
--- 113,119 ----
  	knl_define_inthdr(TimerIntVec, knl_timer_handler_startup);
  
  	/* Timer interrupt enable */
! //	EnableInt(TimerIntVec, TimerIntPri);
  }
  
  /*