Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 94a981abc1b1f6cb7da12d150911fff15f3df1b1)
+++ kernel/generic/src/interrupt/interrupt.c	(revision be6038b02a9cb66447514d4b608a01b4083cb42d)
@@ -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__