Changes in kernel/generic/src/interrupt/interrupt.c [7ad17de:8f4f444] in mainline

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (1 diff)

kernel/generic/src/interrupt/interrupt.c

@@ -168 +168 @@
 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");
-        }
+        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);