1 files changed, 10 insertions, 2 deletions
diff --git a/kernel/sys.c b/kernel/sys.c
index b648dd1..3748e2b 100644
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -1,8 +1,16 @@
 #include <errno.h>
 #include <kernel/con.h>
+#include <stdint.h>
+#include <time.h>
 
-int sys_print(char *s) {
-  printf(s);
+extern uint32_t ticks;
+
+int sys_puts(char *s) {
+  return printk(s);
+}
+
+time_t sys_time(void) {
+  return ticks / 100;
 }
 
 int sys_dummy(void) {