/************************************************************/
/*		 UART Code for   AT91SAM7S64						*/
/*				By   pasyong								*/
/*					2006-5									*/
/*				Base IAR 4.30A						*/
/************************************************************/

void uartinit(void);
unsigned char putchar(unsigned char i);
void printf(  unsigned char *s);