/*
 * $Id: kern_main.c,v 1.6 2007/11/24 20:57:46 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();
#endif

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

	while(1)
			;
}