Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision d1e844029e7efa0c93a3a78b306a196e4af6da8f)
+++ kernel/generic/include/proc/task.h	(revision e7267a2a04e93e48e35fdd68fe61f148d4e5094f)
@@ -134,4 +134,7 @@
 	uint64_t ucycles;
 	uint64_t kcycles;
+
+	/** If true, do not attempt to print a verbose kill message. */ 
+	bool silent_kill;
 } task_t;