--- np2/i386c/ia32/interface.c	2012/01/08 11:36:06	1.31
+++ np2/i386c/ia32/interface.c	2012/01/08 18:26:55	1.32
@@ -213,6 +213,7 @@ ia32_panic(const char *str, ...)
 	va_end(ap);
 	strcat(buf, "\n");
 	strcat(buf, cpu_reg2str());
+	VERBOSE(("%s", buf));
 
 	msgbox("ia32_panic", buf);