Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 012dd8ef3ba6b88a27a8406f1cb055389e6363f1)
+++ kernel/generic/src/proc/task.c	(revision 241f19855d1d9af65e95690ac5eb1dd1facffd0c)
@@ -134,5 +134,5 @@
 				printf("[%" PRIu64 "] ", task->taskid);
 #endif
-				task_kill_internal(task);
+				task_kill_internal(task, EXIT_REASON_KILLED);
 			}