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