Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 204674ee3e573dfb433faf3ebf3f3faf43f34ed7)
+++ generic/src/syscall/syscall.c	(revision 7df0e44c7735754a317b0e6334637be1a079c0d5)
@@ -28,9 +28,12 @@
 
 #include <syscall/syscall.h>
+#include <proc/thread.h>
 #include <print.h>
 #include <putchar.h>
 
 int sys_ctl(void) {
-	printf("SYS_CTL\n");
+	printf("Thread finished\n");
+	thread_exit();
+	/* Unreachable */
 	return 0;
 }
@@ -45,5 +48,5 @@
 		putchar(((char *) buf)[i]);
 	
-	return 0;
+	return count;
 }