#include <stddef.h>
#include <stdint.h>

#include "svc_interface.h"

// most generic definition possible
// the actual function defined in svc.S
uint32_t svc(enum svc_type, ...);

void putchar(int character)
{
  svc(UART_PUTCHAR, character);
}

int getchar(void)
{
  return svc(UART_GETCHAR);
}

void puts(char *string)
{
  for (size_t i = 0; string[i]; i++)
    putchar(string[i]);

  putchar('\n');
  putchar('\r');
}