#include <sys/types.h>
#include <errno.h>
#include <unistd.h>

#include "platform.h"

/* Write to a file.  */
ssize_t
_write(int fd, const void *ptr, size_t len)
{
  if ((fd != STDOUT_FILENO) && (fd != STDERR_FILENO)) {
    errno = ENOSYS;
    return -1;
  }

  const char *current = ptr;
  for (size_t i = 0; i < len; i++) {
    while (UART0_REG(UART_REG_TXFIFO) & 0x80000000);
    UART0_REG(UART_REG_TXFIFO) = current[i];
  }
  return len;
}