00001 #include <stdio.h> 00002 #include <debug-uart.h> 00003 #include <string.h> 00004 00005 int 00006 puts(const char *str) 00007 { 00008 dbg_send_bytes((unsigned char*)str, strlen(str)); 00009 dbg_putchar('\n'); 00010 return 0; 00011 }