funnyos/kern/kern_main.c - diff

Return to kern_main.c CVS log

Up to [local] / funnyos / kern

version 1.2, 2007/10/26 15:13:23

version 1.8, 2007/12/20 15:27:08

Line 4

#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>

Line 13

Line 15

void

main(void)

{

/* set up boot console */

/* set up critical devices */

config_consinit();

config_machineinit();

printf("Welcome to FunnyOS!\n");

/* initialize kmalloc */

kmem_init();

/* attach all devices described in arch/${ARCH}/config.c */

devconfig_recurse();

printf("\n\nok\n");

#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)

;