===================================================================
RCS file: /cvs/funnyos/kern/kern_time.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- funnyos/kern/kern_time.c	2007/11/23 13:37:43	1.2
+++ funnyos/kern/kern_time.c	2007/11/24 20:55:53	1.3
@@ -1,5 +1,5 @@
 /*
- * $Id: kern_time.c,v 1.2 2007/11/23 13:37:43 nbrk Exp $
+ * $Id: kern_time.c,v 1.3 2007/11/24 20:55:53 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_time.h>
@@ -39,10 +39,15 @@
 	 * RTC interrupt handler will call us; remember that we are in interrupt mode here.
 	 */
 
+#ifndef ARCH_SAM7S64
 	/* update time data */
 	systimedata.td_seconds = sysrtcops.ro_getsec();
 
-	/* TODO kick scheduler */
+	/* kick scheduler */
 	sched_tick();
+#else
+	printf("sysclock!\n");
+#endif /* not ARCH_SAM7S64 */
+
 }