#include <stdint.h>
#include <stddef.h>
#include "syscall/syscall.h"
#include "kprintf.h"
#include "errors.h"

int32_t SYSCALL2(sys_term_write, buffer1, len1) {
  const char *buffer = (const char *)buffer1;
  size_t len = len1;

  if (buffer == NULL) {
    return E_INVALIDARGUMENT;
  }

  kprintf("%.*s", (int)len, buffer);

  return E_OK;
}