#include <stdio.h>
#include <debug-uart.h>
#include <string.h>
#undef putchar
#undef putc
int
putchar(int c)
{
dbg_putchar(c);
return c;
}
putc(int c, FILE *f)
__sp(struct _reent *_ptr, int c, FILE *_p) {