Annotation of funnyos/kern/kern_main.c, Revision 1.4
1.1 init 1: /*
1.4 ! nbrk 2: * $Id: kern_main.c,v 1.3 2007/11/06 22:59:35 init Exp $
1.1 init 3: */
4: #include <sys/types.h>
5: #include <sys/kern_devconfig.h>
6: #include <sys/mem.h>
1.3 init 7: #include <sys/kern_time.h>
1.1 init 8:
9: #include <libkern/printf.h>
10:
11: extern void config_consinit(void);
12:
13:
14: void
15: main(void)
16: {
1.4 ! nbrk 17: /* set up critical devices */
! 18: config_machineinit();
1.1 init 19:
20: /* initialize kmalloc */
21: kmem_init();
22:
23: /* attach all devices described in arch/${ARCH}/config.c */
24: devconfig_recurse();
1.2 init 25:
1.3 init 26: /* initialise system clock; this will start interrupts from timer */
1.4 ! nbrk 27: // sysclock_init();
1.1 init 28:
29: while(1)
30: ;
31: }
32:
33:
CVSweb