#include <errno.h>
#include <kernel/con.h>
#include <stdint.h>
#include <time.h>

extern uint32_t ticks;

int sys_puts(char *s) {
  return printk(s);
}

time_t sys_time(void) {
  return ticks / 100;
}

int sys_dummy(void) {
  return -ENOSYS;
}