version 1.5, 2007/11/20 16:12:11 |
version 1.6, 2007/11/24 20:57:46 |
|
|
/* set up critical devices */ |
/* set up critical devices */ |
config_machineinit(); |
config_machineinit(); |
|
|
|
printf("Welcome to FunnyOS!\n"); |
|
|
/* initialize kmalloc */ |
/* initialize kmalloc */ |
kmem_init(); |
kmem_init(); |
|
|
/* attach all devices described in arch/${ARCH}/config.c */ |
/* attach all devices described in arch/${ARCH}/config.c */ |
devconfig_recurse(); |
devconfig_recurse(); |
|
|
|
#ifndef ARCH_SAM7S64 |
/* initialize scheduler before enabling system ticks */ |
/* initialize scheduler before enabling system ticks */ |
sched_init(); |
sched_init(); |
|
#endif |
|
|
/* initialize system clock; this will start interrupts from timer */ |
/* initialize system clock; this will start interrupts from timer */ |
sysclock_init(); |
sysclock_init(); |