2020-06-18 12:15:52 +02:00
|
|
|
/* See LICENSE of license details. */
|
|
|
|
|
|
|
|
#include <errno.h>
|
2024-04-15 12:16:29 +02:00
|
|
|
#include <stdint.h>
|
2020-06-18 12:15:52 +02:00
|
|
|
#include <sys/types.h>
|
2024-04-15 12:16:29 +02:00
|
|
|
#include <unistd.h>
|
2020-06-18 12:15:52 +02:00
|
|
|
|
|
|
|
#include "platform.h"
|
2024-05-31 08:56:21 +02:00
|
|
|
#include "semihosting.h"
|
2020-06-18 12:15:52 +02:00
|
|
|
#include "stub.h"
|
2023-09-28 11:51:20 +02:00
|
|
|
#include "weak_under_alias.h"
|
2020-06-18 12:15:52 +02:00
|
|
|
|
2024-05-31 08:56:21 +02:00
|
|
|
ssize_t __wrap_write(int fd, const void *ptr, size_t len) {
|
|
|
|
const uint8_t *current = (const uint8_t *)ptr;
|
2024-04-08 14:36:22 +02:00
|
|
|
#if defined(SEMIHOSTING)
|
2024-05-31 08:56:21 +02:00
|
|
|
if (isatty(fd)) {
|
|
|
|
for (size_t jj = 0; jj < len; jj++) {
|
|
|
|
sh_writec(current[jj]);
|
|
|
|
}
|
|
|
|
return len;
|
2024-04-30 08:56:57 +02:00
|
|
|
} else {
|
2024-05-31 08:56:21 +02:00
|
|
|
sh_write(current, fd);
|
|
|
|
return len;
|
2024-04-30 08:56:57 +02:00
|
|
|
}
|
2024-05-31 08:56:21 +02:00
|
|
|
// return len;
|
|
|
|
#endif
|
2024-04-15 12:16:29 +02:00
|
|
|
if (isatty(fd)) {
|
|
|
|
for (size_t jj = 0; jj < len; jj++) {
|
|
|
|
#if defined(BOARD_ehrenberg) || defined(BOARD_tgc_vp)
|
|
|
|
while (get_uart_rx_tx_reg_tx_free(uart) == 0)
|
|
|
|
;
|
|
|
|
uart_write(uart, current[jj]);
|
|
|
|
if (current[jj] == '\n') {
|
|
|
|
while (get_uart_rx_tx_reg_tx_free(uart) == 0)
|
|
|
|
;
|
|
|
|
uart_write(uart, '\r');
|
|
|
|
}
|
2024-01-27 16:54:25 +01:00
|
|
|
#elif defined(BOARD_iss)
|
2024-04-15 12:16:29 +02:00
|
|
|
*((uint32_t *)0xFFFF0000) = current[jj];
|
2024-03-02 16:08:42 +01:00
|
|
|
#elif defined(BOARD_TGCP)
|
2024-04-15 12:16:29 +02:00
|
|
|
// TODO: implement
|
2024-01-13 23:06:01 +01:00
|
|
|
#else
|
2024-04-15 12:16:29 +02:00
|
|
|
while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
|
|
|
|
;
|
|
|
|
UART0_REG(UART_REG_TXFIFO) = current[jj];
|
2020-06-18 12:15:52 +02:00
|
|
|
|
2024-04-15 12:16:29 +02:00
|
|
|
if (current[jj] == '\n') {
|
|
|
|
while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
|
|
|
|
;
|
|
|
|
UART0_REG(UART_REG_TXFIFO) = '\r';
|
|
|
|
}
|
2024-01-13 23:06:01 +01:00
|
|
|
#endif
|
2020-06-18 12:15:52 +02:00
|
|
|
}
|
2024-04-15 12:16:29 +02:00
|
|
|
return len;
|
|
|
|
}
|
2020-06-18 12:15:52 +02:00
|
|
|
|
2024-04-15 12:16:29 +02:00
|
|
|
return _stub(EBADF);
|
2020-06-18 12:15:52 +02:00
|
|
|
}
|
2023-09-28 11:51:20 +02:00
|
|
|
weak_under_alias(write);
|