44 lines
		
	
	
		
			924 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			44 lines
		
	
	
		
			924 B
		
	
	
	
		
			C
		
	
	
	
	
	
/* See LICENSE of license details. */
 | 
						|
 | 
						|
#include <stdint.h>
 | 
						|
#include <errno.h>
 | 
						|
#include <unistd.h>
 | 
						|
#include <sys/types.h>
 | 
						|
 | 
						|
#include "../../include/tgc-vp/devices/uart.h"
 | 
						|
#include "../../env/tgc-vp/platform.h"
 | 
						|
#include "platform.h"
 | 
						|
#include "stub.h"
 | 
						|
#include "weak_under_alias.h"
 | 
						|
#include "semihosting.h"
 | 
						|
 | 
						|
int __wrap_puts(const char *s)
 | 
						|
{
 | 
						|
#if defined(SEMIHOSTING)
 | 
						|
  sh_write0(s);
 | 
						|
  return 0;
 | 
						|
#endif 
 | 
						|
  while (*s != '\0') {
 | 
						|
#if defined(BOARD_ehrenberg)
 | 
						|
    while (uart_get_tx_free(uart)==0) ;
 | 
						|
    uart_write(uart, *s);
 | 
						|
#elif defined(BOARD_iss)
 | 
						|
            *((uint32_t*) 0xFFFF0000) = *s;
 | 
						|
#elif defined(BOARD_TGC5L)
 | 
						|
            //TODO: implement
 | 
						|
#else
 | 
						|
    while (UART0_REG(UART_REG_TXFIFO) & 0x80000000) ;
 | 
						|
    UART0_REG(UART_REG_TXFIFO) = *s;
 | 
						|
 | 
						|
    if (*s == '\n') {
 | 
						|
      while (UART0_REG(UART_REG_TXFIFO) & 0x80000000) ;
 | 
						|
      UART0_REG(UART_REG_TXFIFO) = '\r';
 | 
						|
    }
 | 
						|
#endif
 | 
						|
    ++s;
 | 
						|
  }
 | 
						|
 | 
						|
  return 0;
 | 
						|
}
 | 
						|
weak_under_alias(puts);
 |