diff --git a/kernel/proc.c b/kernel/proc.c
index d7df9a8e9..12dcc5681 100644
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -492,6 +492,10 @@ proc_nr_t src_dst;				/* src or dst process */
 		printf("deadlock between these processes:\n");
 		for(i = 0; i < group_size; i++) {
 			printf(" %10s ", processes[i]->p_name);
+		}
+		printf("\n\n");
+		for(i = 0; i < group_size; i++) {
+			print_proc(processes[i]);
 			proc_stacktrace(processes[i]);
 		}
 	  }