Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 7ad17dea03bb20f3ef07323ecf1acfc7034c9233)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 7462674581270cbc4c5e0b2d1075ebff0d1aec55)
@@ -166,18 +166,17 @@
 }
 
-static NO_TRACE void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
-{
-	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");
-	}
+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");
 	
 	task_kill_self(true);