#include <stdio.h>

#include "uart.h"

#include "debug.h"

#ifdef DEBUG

static FILE uart_stream = FDEV_SETUP_STREAM(

    uart_putchar_f,

    uart_getchar_f,

    _FDEV_SETUP_RW

);

#endif

void debug_setup(void) {

#ifdef DEBUG

    stdout = &uart_stream;

    stderr = &uart_stream;

    uart_setup();

#endif

}

#ifdef DEBUG

void debug_printf(const char *fmt, ...) {

    va_list args;

    va_start(args, fmt);

    vfprintf_P(&uart_stream, fmt, args);

    va_end(args);

}

#endif