kernel/sys.c


1
2
3
4
5
6
7
8
9
10

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

int sys_print(char *s) {
  printf(s);
}

int sys_dummy(void) {
  return -ENOSYS;
}