Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 1b0673154d95f4f1bd78a65c9fc775c3cbe11cc8)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -104,4 +104,5 @@
 static int exc_print_cmd(cmd_arg_t *argv)
 {
+#if (IVT_ITEMS > 0)
 	unsigned int i;
 	char *symbol;
@@ -139,4 +140,5 @@
 	
 	spinlock_unlock(&exctbl_lock);
+#endif
 	
 	return 1;