Annotation of funnyos/kern/kern_main.c, Revision 1.9
1.1 init 1: /*
1.9 ! nbrk 2: * $Id: kern_main.c,v 1.8 2007/12/20 15:27:08 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:
1.9 ! nbrk 10: #include <sys/devctl.h> /* XXX */
! 11: #include <arch/sam7s64/dev/gpio7segvar.h> /* XXX */
! 12:
1.1 init 13: #include <libkern/printf.h>
14:
15: extern void config_consinit(void);
16:
17:
18: void
19: main(void)
20: {
1.9 ! nbrk 21: uint8_t digit;
! 22: uint32_t i;
! 23:
1.4 nbrk 24: /* set up critical devices */
25: config_machineinit();
1.1 init 26:
1.6 nbrk 27: printf("Welcome to FunnyOS!\n");
28:
1.1 init 29: /* initialize kmalloc */
30: kmem_init();
31:
32: /* attach all devices described in arch/${ARCH}/config.c */
33: devconfig_recurse();
1.2 init 34:
1.6 nbrk 35: #ifndef ARCH_SAM7S64
1.5 nbrk 36: /* initialize scheduler before enabling system ticks */
1.8 nbrk 37: // sched_init();
1.5 nbrk 38:
39: /* initialize system clock; this will start interrupts from timer */
1.8 nbrk 40: // sysclock_init();
1.9 ! nbrk 41: #endif
! 42:
! 43: #ifdef ARCH_SAM7S64
! 44: loop:
! 45: for(digit = 0; digit < 16; digit++) {
! 46: printf("kern_main: LED output: %d\n", digit);
! 47:
! 48: devctl("gpio7seg", 0, DCGPIO7SEG_SETDIGIT, &digit);
! 49:
! 50: /* dummy timeout */
! 51: for (i = 0; i < 5000000; i++)
! 52: ;
! 53: }
! 54: goto loop;
1.7 nbrk 55: #endif
1.1 init 56:
57: while(1)
58: ;
59: }
60:
61:
CVSweb