Return to kern_main.c CVS log | Up to [local] / funnyos / kern |
File: [local] / funnyos / kern / kern_main.c (download)
Revision 1.8, Thu Dec 20 15:27:08 2007 UTC (16 years, 6 months ago) by nbrk
do not setup clock and init scheduler if we are SAM7S64 (until i figure out how to deal with time hardware) |
/* * $Id: kern_main.c,v 1.8 2007/12/20 15:27:08 nbrk Exp $ */ #include <sys/types.h> #include <sys/kern_devconfig.h> #include <sys/mem.h> #include <sys/kern_time.h> #include <sys/kern_sched.h> #include <libkern/printf.h> extern void config_consinit(void); void main(void) { /* set up critical devices */ config_machineinit(); printf("Welcome to FunnyOS!\n"); /* initialize kmalloc */ kmem_init(); /* attach all devices described in arch/${ARCH}/config.c */ devconfig_recurse(); #ifndef ARCH_SAM7S64 /* initialize scheduler before enabling system ticks */ // sched_init(); /* initialize system clock; this will start interrupts from timer */ // sysclock_init(); #endif while(1) ; }