Return to kern_main.c CVS log

Up to [local] / funnyos / kern

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: