Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 2ba78108c2b47014f0f5835ad107f014e6f9e4d0)
+++ generic/src/syscall/syscall.c	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -38,11 +38,4 @@
 #include <ipc/sysipc.h>
 
-static __native sys_ctl(void) {
-	printf("Thread finished\n");
-	thread_exit();
-	/* Unreachable */
-	return 0;
-}
-
 static __native sys_io(int fd, const void * buf, size_t count) {
 	
@@ -56,5 +49,4 @@
 	return count;
 }
-
 
 static __native sys_mmap(void *address, size_t size, int flags)
@@ -72,6 +64,7 @@
 
 syshandler_t syscall_table[SYSCALL_END] = {
-	sys_ctl,
 	sys_io,
+	sys_thread_create,
+	sys_thread_exit,
 	sys_mmap,
 	sys_mremap,