===================================================================
RCS file: /cvs/funnyos/kern/kern_main.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- funnyos/kern/kern_main.c	2007/10/26 15:13:23	1.2
+++ funnyos/kern/kern_main.c	2007/11/06 22:59:35	1.3
@@ -1,9 +1,10 @@
 /*
- * $Id: kern_main.c,v 1.2 2007/10/26 14:13:23 init Exp $
+ * $Id: kern_main.c,v 1.3 2007/11/06 22:59:35 init Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_devconfig.h>
 #include <sys/mem.h>
+#include <sys/kern_time.h>
 
 #include <libkern/printf.h>
 
@@ -22,7 +23,8 @@
 	/* attach all devices described in arch/${ARCH}/config.c */
 	devconfig_recurse();
 
-	printf("\n\nok\n");
+	/* initialise system clock; this will start interrupts from timer */
+	sysclock_init();
 
 	while(1)
 			;