Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ kernel/generic/src/debug/panic.c	(revision 6c3106f2799b7a9663b846f3973d4b21e90bfb2a)
@@ -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);