/*
 * $Id: config.c,v 1.2 2007/11/09 16:10:07 init Exp $
 */
#include <sys/types.h>
#include <sys/device.h>

/*
 * Configuration file for platform (AT91SAM7S64).
 */

/* device drivers */
extern struct driver root_dr;
extern struct driver cpu_dr;


extern void(*putchar)(char);
void 	sauart_early_putc(char ch);

/* amount of physical memory, in Bytes */
uint32_t physmem = 16384;

/*
 * Where to attach each device.
 */
struct attachinfo config_attachinfo[] = {
	/* child,   parent, pminor, loc, 	intrno, flags */
	{ "cpu" , 	"root", 	0, 0, 			0,	0 },
	{ NULL, 	NULL, 		0, 0, 			0,  0 }
};


/*
 * Link device names with their drivers.
 */
struct driverinfo config_driverinfo[] = {
/* name, driverp, ninstances (should be -1) */
	{ "root", &root_dr, -1 },
	{ "cpu" , &cpu_dr, -1 },
	{ NULL, NULL, 0 }
};


/*
 * Machine early-stage initialization hooks.
 */

void
config_consinit(void)
{
	/*
	 * Configure putchar, so we can printf messages to the console without fcons.
	 */
	/* putchar = tauart_early_putc; */
}