Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision d1e844029e7efa0c93a3a78b306a196e4af6da8f)
+++ kernel/generic/include/proc/task.h	(revision 7ad17dea03bb20f3ef07323ecf1acfc7034c9233)
@@ -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;