Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision e9a6b29b648852656aa5c888fcda206a156ae3c0)
+++ kernel/generic/src/debug/panic.c	(revision f4946ded698ec72fa331f30e4282c8b2430e7639)
@@ -61,4 +61,8 @@
 	} else if (cat == PANIC_BADTRAP) {
 		printf("BAD TRAP %ld.\n", address);
+		if (fmt) {
+			vprintf(fmt, args);
+			printf("\n");
+		}
 	} else if (cat == PANIC_MEMTRAP) {
 		printf("A BAD MEMORY ACCESS WHILE ");
@@ -72,4 +76,8 @@
 			printf("REFERENCING");
 		printf(" ADDRESS %p.\n", address); 
+		if (fmt) {
+			vprintf(fmt, args);
+			printf("\n");
+		}
 	} else {
 		printf("THE FOLLOWING REASON:\n");