funnyos/kern/kern_main.c - diff

Return to kern_main.c CVS log

Up to [local] / funnyos / kern

version 1.4, 2007/11/19 10:39:28

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

Line 5

#include <sys/kern_devconfig.h>

#include <sys/mem.h>

#include <sys/kern_time.h>

#include <sys/kern_sched.h>

#include <libkern/printf.h>

Line 17

Line 18

/* 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();

/* initialise system clock; this will start interrupts from timer */

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

;