Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 912100ef6eeffff797b89e2460f99ad1a93bc212)
+++ kernel/generic/src/debug/panic.c	(revision 1182d79aa16884a0f726e348c1f469382df43bb2)
@@ -95,4 +95,12 @@
 	printf("\n");
 	
+	printf("THE=%p", THE);
+	if (THE != NULL) {
+		printf(": pe=%u thr=%p task=%p cpu=%p as=%p",
+		    THE->preemption_disabled, THE->thread, THE->task,
+		    THE->cpu, THE->as);
+	}
+	printf("\n");
+	
 	if (istate) {
 		istate_decode(istate);