Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 94a981abc1b1f6cb7da12d150911fff15f3df1b1)
+++ kernel/generic/src/interrupt/interrupt.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
@@ -46,5 +46,8 @@
 #include <panic.h>
 #include <print.h>
+
+#ifdef CONFIG_SYMTAB
 #include <symtab.h>
+#endif
 
 static struct {
@@ -131,7 +134,11 @@
 	
 	for (i = 0; i < IVT_ITEMS; i++) {
+#ifdef CONFIG_SYMTAB
 		symbol = get_symtab_entry((unative_t) exc_table[i].f);
 		if (!symbol)
 			symbol = "not found";
+#else
+		symbol = "n/a";
+#endif
 
 #ifdef __32_BITS__