/*
 * $Id: kern_main.c,v 1.4 2007/11/19 10:39:28 nbrk 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 critical devices */
	config_machineinit();

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