43#include "usb/usb-serial.h"
51#define write_byte(b) usb_serial_writeb(b)
52#define flush() usb_serial_flush()
54#define write_byte(b) uart0_writeb(b)
unsigned int dbg_send_bytes(const unsigned char *s, unsigned int len)
Print a stream of bytes.
int dbg_putchar(int c)
Print a character to debug output.