===================================================================
RCS file: /cvs/funnyos/kern/kern_main.c,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- funnyos/kern/kern_main.c	2008/01/02 02:38:44	1.9
+++ funnyos/kern/kern_main.c	2008/01/11 10:54:50	1.10
@@ -1,5 +1,5 @@
 /*
- * $Id: kern_main.c,v 1.9 2008/01/02 02:38:44 nbrk Exp $
+ * $Id: kern_main.c,v 1.10 2008/01/11 10:54:50 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_devconfig.h>
@@ -7,8 +7,10 @@
 #include <sys/kern_time.h>
 #include <sys/kern_sched.h>
 
+#ifdef ARCH_SAM7S64
 #include <sys/devctl.h> /* XXX */
 #include <arch/sam7s64/dev/gpio7segvar.h> /* XXX */
+#endif
 
 #include <libkern/printf.h>
 
@@ -34,10 +36,10 @@
 
 #ifndef ARCH_SAM7S64
 	/* initialize scheduler before enabling system ticks */
-//	sched_init();
+	sched_init();
 
 	/* initialize system clock; this will start interrupts from timer */
-//	sysclock_init();
+	sysclock_init();
 #endif
 
 #ifdef ARCH_SAM7S64
@@ -53,6 +55,8 @@
 	}
 goto loop;
 #endif
+
+	printf("Autoconfiguration completed.\n");
 
 	while(1)
 			;