Index: /branches/arm/lisp-kernel/arm-exceptions.c
===================================================================
--- /branches/arm/lisp-kernel/arm-exceptions.c	(revision 13842)
+++ /branches/arm/lisp-kernel/arm-exceptions.c	(revision 13843)
@@ -1112,4 +1112,9 @@
   case uuo_format_nullary:
     switch (UUOA_field(the_uuo)) {
+    case 3:
+      Bug(xp, "Debug trap");
+      handled = true;
+      break;
+
     case 4:
       tcr->interrupt_pending = 0;