#ifndef __DEBUG_H
#define __DEBUG_H

#include <stdint.h>
#include <stdio.h>
#include "ringbuf_small.h"

#define DEBUGCHARS 254

extern FILE mystdout;
ringbuf_t rb;
char dbuf[DEBUGCHARS];

void dbg_init();
int16_t dbg_getchar();
uint8_t dbg_putchar(char c, FILE* stream);

#endif