Return to kern_main.c CVS log

Up to [local] / funnyos / kern

do not setup clock and init scheduler if we are SAM7S64 (until i figure out how to deal with time hardware)

/*
 * $Id: kern_main.c,v 1.8 2007/12/20 15:27:08 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();

	/* initialize system clock; this will start interrupts from timer */
//	sysclock_init();
#endif

	while(1)
			;
}