version 1.2, 2007/10/26 15:13:23 |
version 1.5, 2007/11/20 16:12:11 |
|
|
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/kern_devconfig.h> |
#include <sys/kern_devconfig.h> |
#include <sys/mem.h> |
#include <sys/mem.h> |
|
#include <sys/kern_time.h> |
|
#include <sys/kern_sched.h> |
|
|
#include <libkern/printf.h> |
#include <libkern/printf.h> |
|
|
|
|
void |
void |
main(void) |
main(void) |
{ |
{ |
/* set up boot console */ |
/* set up critical devices */ |
config_consinit(); |
config_machineinit(); |
|
|
/* 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(); |
|
|
printf("\n\nok\n"); |
/* initialize scheduler before enabling system ticks */ |
|
sched_init(); |
|
|
|
/* initialize system clock; this will start interrupts from timer */ |
|
sysclock_init(); |
|
|
while(1) |
while(1) |
; |
; |