void platform_dputc(char c)
{
if (c == '\n') {
_dputc('\r');
}
_dputc(c);
}
void platform_dputc(char c)
{
if (c == '\n') {
_dputc('\r');
}
UARTCharPut(DEBUG_UART, c);
}
int _dputs(const char *str)
{
while(*str != 0) {
_dputc(*str++);
}
return 0;
}
void platform_dputc(char c)
{
if (c == '\n') {
_dputc('\r');
}
while (!uart_is_tx_ready(UART))
;
uart_write(UART, c);
}
static int _dprintf_output_func(const char *str, size_t len, void *state)
{
size_t count = 0;
while (count < len && *str) {
_dputc(*str);
str++;
count++;
}
return count;
}
static int __debug_stdio_fputc(void *ctx, int c)
{
_dputc(c);
return 0;
}
