Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 78ffb70588017cf4018251b150c250f7ac4b52bd)
+++ kernel/generic/include/proc/task.h	(revision 1e9f8ab55e857ca808bc37b0167fb0a161c48d80)
@@ -56,4 +56,5 @@
 #include <mm/as.h>
 #include <sysinfo/abi.h>
+#include <typedefs.h>
 
 struct thread;
@@ -154,4 +155,5 @@
 
 extern sysarg_t sys_task_set_name(const char *, size_t);
+extern sysarg_t sys_task_kill(task_id_t *);
 
 #endif
Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 78ffb70588017cf4018251b150c250f7ac4b52bd)
+++ kernel/generic/include/syscall/syscall.h	(revision 1e9f8ab55e857ca808bc37b0167fb0a161c48d80)
@@ -47,4 +47,5 @@
 	SYS_TASK_GET_ID,
 	SYS_TASK_SET_NAME,
+	SYS_TASK_KILL,
 	SYS_PROGRAM_SPAWN_LOADER,
 	
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 78ffb70588017cf4018251b150c250f7ac4b52bd)
+++ kernel/generic/src/proc/task.c	(revision 1e9f8ab55e857ca808bc37b0167fb0a161c48d80)
@@ -360,4 +360,23 @@
 }
 
+/** Syscall to forcefully terminate a task
+ *
+ * @param uspace_taskid Pointer to task ID in user space.
+ *
+ * @return 0 on success or an error code from @ref errno.h.
+ *
+ */
+sysarg_t sys_task_kill(task_id_t *uspace_taskid)
+{
+	task_id_t taskid;
+	int rc;
+
+	rc = copy_from_uspace(&taskid, uspace_taskid, sizeof(taskid));
+	if (rc != 0)
+		return (sysarg_t) rc;
+
+	return (sysarg_t) task_kill(taskid);
+}
+
 /** Find task structure corresponding to task ID.
  *
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 78ffb70588017cf4018251b150c250f7ac4b52bd)
+++ kernel/generic/src/syscall/syscall.c	(revision 1e9f8ab55e857ca808bc37b0167fb0a161c48d80)
@@ -120,4 +120,5 @@
 	(syshandler_t) sys_task_get_id,
 	(syshandler_t) sys_task_set_name,
+	(syshandler_t) sys_task_kill,
 	(syshandler_t) sys_program_spawn_loader,