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