1 /* See LICENSE of license details. */
\r
6 #include <sys/types.h>
\r
8 #include "platform.h"
\r
10 #include "weak_under_alias.h"
\r
12 int __wrap_puts(const char *s)
\r
14 while (*s != '\0') {
\r
15 while (UART0_REG(UART_REG_TXFIFO) & 0x80000000) ;
\r
16 UART0_REG(UART_REG_TXFIFO) = *s;
\r
19 while (UART0_REG(UART_REG_TXFIFO) & 0x80000000) ;
\r
20 UART0_REG(UART_REG_TXFIFO) = '\r';
\r
28 weak_under_alias(puts);
\r