unsigned long uart = 0x10000000;

void putchar(int c)
{
	*(volatile unsigned char *)uart = c;
}  

void puts(const char *s)
{       
	for (; *s; ++s)
		putchar(*s);
	putchar('\n');
}

void cmain(void)
{
	puts("hello");
}