/*
 * $Id: kern_main.c,v 1.2 2007/10/26 14:13:23 init Exp $
 */
#include <sys/types.h>
#include <sys/kern_devconfig.h>
#include <sys/mem.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();

	printf("\n\nok\n");

	while(1)
			;
}