Upload files to "kernel"

kernel/syscalls.c

@@ -0,0 +1,10 @@
+
+#include <stdio.h>
+
+#include <kernel/syscalls.h>
+
+
+int16_t syscall_write(int32_t fd, const void* buffer, int32_t length)
+{
+  return -1;
+}