===================================================================
RCS file: /cvs/funnyos/kern/kern_main.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- funnyos/kern/kern_main.c	2007/11/06 22:59:35	1.3
+++ funnyos/kern/kern_main.c	2007/11/19 10:39:28	1.4
@@ -1,5 +1,5 @@
 /*
- * $Id: kern_main.c,v 1.3 2007/11/06 22:59:35 init Exp $
+ * $Id: kern_main.c,v 1.4 2007/11/19 10:39:28 nbrk Exp $
  */
 #include <sys/types.h>
 #include <sys/kern_devconfig.h>
@@ -14,8 +14,8 @@
 void
 main(void)
 {
-	/* set up boot console */
-	config_consinit();
+	/* set up critical devices */
+	config_machineinit();
 
 	/* initialize kmalloc */
 	kmem_init();
@@ -24,7 +24,7 @@
 	devconfig_recurse();
 
 	/* initialise system clock; this will start interrupts from timer */
-	sysclock_init();
+//	sysclock_init();
 
 	while(1)
 			;