00001 #include <stdio.h> 00002 #include "dev/uart1.h" 00003 00004 int 00005 putchar(int c) 00006 { 00007 uart1_writeb((char)c); 00008 return c; 00009 }