Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 7509ddc323e8b88a1dfd5b12a23bda20b9ea901e)
+++ generic/src/syscall/syscall.c	(revision 3dcb108fa81dd39d274ae7339bba28b1d40d02e2)
@@ -48,4 +48,5 @@
 #include <sysinfo/sysinfo.h>
 #include <console/console.h>
+#include <console/klog.h>
 
 /** Print using kernel facility
@@ -92,20 +93,14 @@
 {
 	__native rc;
-	ipl_t ipl;
-	bool exit = false;
 
 	if (id < SYSCALL_END)
 		rc = syscall_table[id](a1,a2,a3,a4);
-	else
-		panic("Undefined syscall %d", id);
+	else {
+		klog_printf("TASK %lld: Unknown syscall id %d",TASK->taskid,id);
+		task_kill(TASK->taskid);
+		thread_exit();
+	}
 		
-	ipl = interrupts_disable();
-	spinlock_lock(&THREAD->lock);
 	if (THREAD->interrupted)
-		exit = true;
-	spinlock_unlock(&THREAD->lock);
-	interrupts_restore(ipl);
-	
-	if (exit)
 		thread_exit();