===================================================================
RCS file: /cvs/funnyos/kern/kern_time.c,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- funnyos/kern/kern_time.c	2007/11/06 22:52:39	1.1
+++ funnyos/kern/kern_time.c	2007/11/23 13:37:43	1.2
@@ -1,8 +1,10 @@
 /*
- * $Id: kern_time.c,v 1.1 2007/11/06 22:52:39 init Exp $
+ * $Id: kern_time.c,v 1.2 2007/11/23 13:37:43 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_time.h>
+#include <sys/kern_sched.h>
+
 #include <libkern/printf.h>
 
 /*
@@ -41,7 +43,6 @@
 	systimedata.td_seconds = sysrtcops.ro_getsec();
 
 	/* TODO kick scheduler */
-
-	printf("sysclock! td_seconds = %d\n", systimedata.td_seconds);
+	sched_tick();
 }