Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 8f4f444d453918c0a30d77ed2e590850ef528f3c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 0ab362c63d0526b716ccb52dd26eaf575f666d5d)
@@ -168,14 +168,16 @@
 static NO_TRACE void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
 {
-	printf("Task %s (%" PRIu64 ") killed due to an exception at "
-	    "program counter %p.\n", TASK->name, TASK->taskid,
-	    (void *) istate_get_pc(istate));
-	
-	istate_decode(istate);
-	stack_trace_istate(istate);
-	
-	printf("Kill message: ");
-	vprintf(fmt, args);
-	printf("\n");
+	if (!TASK->silent_kill) {
+		printf("Task %s (%" PRIu64 ") killed due to an exception at "
+		    "program counter %p.\n", TASK->name, TASK->taskid,
+		    (void *) istate_get_pc(istate));
+	
+		istate_decode(istate);
+		stack_trace_istate(istate);
+	
+		printf("Kill message: ");
+		vprintf(fmt, args);
+		printf("\n");
+	}
 	
 	task_kill_self(true);