dbg-puts.c

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 }