Return to kern_main.c CVS log | Up to [local] / funnyos / kern |
File: [local] / funnyos / kern / kern_main.c (download)
Revision 1.7, Sun Dec 16 23:27:54 2007 UTC (16 years, 9 months ago) by nbrk
do not calibrate system clock until i attach corectly configured rtc hardware |
/* * $Id: kern_main.c,v 1.7 2007/12/16 23:27:54 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) ; }