dbg-putchar.c

#include <stdio.h>
#include <debug-uart.h>
#include <string.h>

#undef putchar
#undef putc

int
putchar(int c)
{
  dbg_putchar(c);
  return c;
}

int
putc(int c, FILE *f)
{
  dbg_putchar(c);
  return c;
}

int
__sp(struct _reent *_ptr, int c, FILE *_p) {
  dbg_putchar(c);
  return c;
}