42 #include "dev/uart0.h" 43 #include "usb/usb-serial.h" 47 #define DBG_CONF_USB 0 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.