1 files changed, 0 insertions, 20 deletions
diff --git a/src/kernel/syscall.c b/src/kernel/syscall.c
deleted file mode 100644
index 68750e1..0000000
--- a/src/kernel/syscall.c
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <kernel/syscall.h>
-
-/**
- * DEFINITIONS
- */
-DEFN_SYSCALL0(halt, 0);
-
-DEFN_SYSCALL1(write, 1, const char *);
-
-DEFN_SYSCALL1(read, 2, const char *);
-
-DEFN_SYSCALL1(writec, 3, char);
-
-DEFN_SYSCALL0(readc, 4);
-
-DEFN_SYSCALL0(get_pointers, 5);
-
-DEFN_SYSCALL1(alloc, 6, uint32_t);
-
-DEFN_SYSCALL1(free, 7, uint32_t);
-\ No newline at end of file