Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 1410f3546d81de74ecf926b07693737f78b12275)
+++ kernel/arch/mips32/src/debugger.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
@@ -38,5 +38,4 @@
 #include <console/kconsole.h>
 #include <console/cmd.h>
-#include <symtab.h>
 #include <print.h>
 #include <panic.h>
@@ -44,4 +43,8 @@
 #include <arch/cp0.h>
 #include <func.h>
+
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
 
 bpinfo_t breakpoints[BKPOINTS_MAX];
@@ -260,5 +263,9 @@
 	for (i = 0; i < BKPOINTS_MAX; i++)
 		if (breakpoints[i].address) {
+#ifdef CONFIG_SYMTAB
 			symbol = get_symtab_entry(breakpoints[i].address);
+#else
+			symbol = "n/a";
+#endif
 			
 			printf("%-2u %-5d %#10zx %-6s %-7s %-8s %s\n", i,
@@ -349,7 +356,12 @@
 			printf("Warning: breakpoint recursion\n");
 		
-		if (!(cur->flags & BKPOINT_FUNCCALL))
+		if (!(cur->flags & BKPOINT_FUNCCALL)) {
+#ifdef CONFIG_SYMTAB
 			printf("***Breakpoint %d: %p in %s.\n", i, fireaddr,
 			    get_symtab_entry(istate->epc));
+#else
+			printf("***Breakpoint %d: %p.\n", i, fireaddr);
+#endif
+		}
 
 		/* Return first instruction back */
@@ -364,6 +376,10 @@
 		cur->flags |= BKPOINT_INPROG;
 	} else {
-		printf("***Breakpoint %p in %s.\n", fireaddr, 
+#ifdef CONFIG_SYMTAB
+		printf("***Breakpoint %p in %s.\n", fireaddr,
 		       get_symtab_entry(fireaddr));
+#else
+		printf("***Breakpoint %p.\n", fireaddr);	
+#endif
 		/* Move on to next instruction */
 		istate->epc += 4;
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision 1410f3546d81de74ecf926b07693737f78b12275)
+++ kernel/arch/mips32/src/exception.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
@@ -42,5 +42,4 @@
 #include <debug.h>
 #include <proc/thread.h>
-#include <symtab.h>
 #include <print.h>
 #include <interrupt.h>
@@ -48,4 +47,8 @@
 #include <ddi/irq.h>
 #include <arch/debugger.h>
+
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
 
 static char * exctable[] = {
@@ -77,4 +80,5 @@
 	char *rasymbol = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
@@ -83,4 +87,5 @@
 	if (s)
 		rasymbol = s;
+#endif
 	
 	printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp);
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 1410f3546d81de74ecf926b07693737f78b12275)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
@@ -41,5 +41,4 @@
 #include <panic.h>
 #include <arch.h>
-#include <symtab.h>
 #include <synch/mutex.h>
 #include <print.h>
@@ -47,4 +46,8 @@
 #include <align.h>
 #include <interrupt.h>
+
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
 
 static void tlb_refill_fail(istate_t *);
@@ -324,4 +327,5 @@
 	char *sym2 = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
@@ -330,4 +334,5 @@
 	if (s)
 		sym2 = s;
+#endif
 
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
@@ -342,7 +347,10 @@
 	char *symbol = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
 		symbol = s;
+#endif
+
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
 	    cp0_badvaddr_read());
@@ -355,7 +363,10 @@
 	char *symbol = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
 		symbol = s;
+#endif
+
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
 	    cp0_badvaddr_read());