1 files changed, 0 insertions, 20 deletions
diff --git a/kernel/sys.c b/kernel/sys.c
index 8e28edd..b750072 100644
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -11,26 +11,6 @@
 #include <time.h>
 #include <unistd.h>
 
-int sys_puts(char *s) {
-  char buf[8];
-
-  if(ctask->ctty < 0)
-    return EOF;
-
-  sprintf(buf, "[%04x] ", ctask->pid);
-
-  switch(ctask->ctty) {
-    case 1:
-      /* rsputs(buf); */
-      return rsputs(s);
-      break;
-    default:
-      printk("%s", buf);
-      return printk(s);
-      break;
-  }
-}
-
 time_t sys_time(void) {
   return ticks / 100;
 }