#include "uart.h"

void uart_init(void) {
  UART_TXCTRL = UART_TXCTRL_TXEN;
  UART_RXCTRL = UART_RXCTRL_RXEN;
}

void uart_putc(char c) {
  while (UART_TXDATA & UART_TXDATA_FULL) {}
  UART_TXDATA = (uint32_t)c;
}

void uart_puts(const char* s) {
  while (*s)
    uart_putc(*s++);
}

char uart_getc(void) {
  uint32_t data;
  do {
    data = UART_RXDATA;
  } while (data & UART_RXDATA_EMPTY);
  return (char)data;
}