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