void debchar(char c)
{
volatile char* p = 0xE00002F8;

	while(!p[5]);
	p[0] = c;
}

void debstr(char *p)
{
char c;

	while (c=*p++)
	{
		if (c == '\n')
		{
			debchar('\r');
		}
		debchar(c);
	}
}


void debprintf(char* p, ...)
{
char tbuf[128];

	sprintf(tbuf,p, ...);
	debstr(tbuf);
}