Annotation of funnyos/kern/kern_main.c, Revision 1.6
1.1 init 1: /*
1.6 ! nbrk 2: * $Id: kern_main.c,v 1.5 2007/11/20 16:12:11 nbrk 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.5 nbrk 8: #include <sys/kern_sched.h>
1.1 init 9:
10: #include <libkern/printf.h>
11:
12: extern void config_consinit(void);
13:
14:
15: void
16: main(void)
17: {
1.4 nbrk 18: /* set up critical devices */
19: config_machineinit();
1.1 init 20:
1.6 ! nbrk 21: printf("Welcome to FunnyOS!\n");
! 22:
1.1 init 23: /* initialize kmalloc */
24: kmem_init();
25:
26: /* attach all devices described in arch/${ARCH}/config.c */
27: devconfig_recurse();
1.2 init 28:
1.6 ! nbrk 29: #ifndef ARCH_SAM7S64
1.5 nbrk 30: /* initialize scheduler before enabling system ticks */
31: sched_init();
1.6 ! nbrk 32: #endif
1.5 nbrk 33:
34: /* initialize system clock; this will start interrupts from timer */
35: sysclock_init();
1.1 init 36:
37: while(1)
38: ;
39: }
40:
41:
CVSweb