Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 1b0673154d95f4f1bd78a65c9fc775c3cbe11cc8)
+++ kernel/generic/src/interrupt/interrupt.c	(revision ee68e4bc4d0b10815e4ef17fd625a9a33dd1242d)
@@ -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;