Return to kern_main.c CVS log | Up to [local] / funnyos / kern |
File: [local] / funnyos / kern / kern_main.c (download)
Revision 1.6, Sat Nov 24 20:57:46 2007 UTC (16 years, 10 months ago) by nbrk
no sched_init() for ARCH_SAM7S64 machines for now |
/* * $Id: kern_main.c,v 1.6 2007/11/24 20:57:46 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(); #endif /* initialize system clock; this will start interrupts from timer */ sysclock_init(); while(1) ; }