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