/*
 * $Id: kern_main.c,v 1.3 2007/11/06 22:59:35 init Exp $
 */
#include <sys/types.h>
#include <sys/kern_devconfig.h>
#include <sys/mem.h>
#include <sys/kern_time.h>

#include <libkern/printf.h>

extern void config_consinit(void);


void
main(void)
{
	/* set up boot console */
	config_consinit();

	/* initialize kmalloc */
	kmem_init();

	/* attach all devices described in arch/${ARCH}/config.c */
	devconfig_recurse();

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

	while(1)
			;
}