WIP 2

kernel/syscall/syscall.c

@@ -8,6 +8,7 @@
 #include "ipcpipe.h"
 #include "mman.h"
 #include "sched.h"
+#include "devctl.h"
 
 int32_t SYSCALL1(sys_debugprint, string) {
   char *p = (char *)string;
@@ -23,4 +24,5 @@ SyscallFn SYSCALL_TABLE[SYSCALLS_MAX] = {
   [SYS_MMAN_MAP]   = &sys_mman_map,
   [SYS_MMAN_UNMAP] = &sys_mman_unmap,
   [SYS_SCHEDRELEASE] = &sys_schedrelease,
+  [SYS_DEVCTL]     = &sys_devctl,
 };