===================================================================
RCS file: /cvs/funnyos/kern/kern_main.c,v
retrieving revision 1.5
retrieving revision 1.8
diff -u -r1.5 -r1.8
--- funnyos/kern/kern_main.c	2007/11/20 16:12:11	1.5
+++ funnyos/kern/kern_main.c	2007/12/20 15:27:08	1.8
@@ -1,5 +1,5 @@
 /*
- * $Id: kern_main.c,v 1.5 2007/11/20 16:12:11 nbrk Exp $
+ * $Id: kern_main.c,v 1.8 2007/12/20 15:27:08 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_devconfig.h>
@@ -18,17 +18,21 @@
 	/* set up critical devices */
 	config_machineinit();
 
+	printf("Welcome to FunnyOS!\n");
+
 	/* initialize kmalloc */
 	kmem_init();
 
 	/* attach all devices described in arch/${ARCH}/config.c */
 	devconfig_recurse();
 
+#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
 
 	while(1)
 			;