--- ac_clean/arch/um/kernel/time_kern.c	Sun Apr 22 12:59:17 2001
+++ ac/arch/um/kernel/time_kern.c	Sun Apr 22 14:11:53 2001
@@ -24,8 +24,11 @@
 	return(HZ);
 }
 
+int timer_irq_inited = 0;
+
 void timer_irq(int user_mode)
 {
+	if(!timer_irq_inited) return;
 	do_IRQ(TIMER_IRQ, user_mode);
 }
 
@@ -75,6 +78,7 @@
 	if((err = request_irq(TIMER_IRQ, timer, SA_INTERRUPT, "timer", 
 			      NULL)) != 0)
 		printk("timer_init : request_irq failed - errno = %d\n", -err);
+	timer_irq_inited = 1;
 	return(0);
 }