Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -114,5 +114,5 @@
 }
 
-void panic_printf(char *fmt, ...)
+void panic_printf(const char *fmt, ...)
 {
 	va_list args;
Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -62,5 +62,5 @@
 };
 
-static char *vendor_str[] = {
+static const char *vendor_str[] = {
 	"Unknown Vendor",
 	"AuthenticAMD",
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/amd64/src/debugger.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -339,5 +339,4 @@
 {
 	unsigned int i;
-	char *symbol;
 
 #ifdef __32_BITS__
@@ -353,5 +352,5 @@
 	for (i = 0; i < BKPOINTS_MAX; i++)
 		if (breakpoints[i].address) {
-			symbol = symtab_fmt_name_lookup(
+			const char *symbol = symtab_fmt_name_lookup(
 			    breakpoints[i].address);
 
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/amd64/src/interrupt.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -65,8 +65,6 @@
 void decode_istate(int n, istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->rip);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->rip);
+	
 	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__);
 	printf("%%rip: %#llx (%s)\n", istate->rip, symbol);
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -43,5 +43,5 @@
 
 /** Implementators (vendor) names */
-static char *imp_data[] = {
+static const char *imp_data[] = {
 	"?",					/* IMP_DATA_START_OFFSET */
 	"ARM Ltd",				/* 0x41 */
@@ -60,5 +60,5 @@
 
 /** Architecture names */
-static char *arch_data[] = {
+static const char *arch_data[] = {
 	"?",       /* 0x0 */
 	"4",       /* 0x1 */
@@ -108,6 +108,6 @@
 void cpu_print_report(cpu_t *m)
 {
-	char * vendor = imp_data[0];
-	char * architecture = arch_data[0];
+	const char *vendor = imp_data[0];
+	const char *architecture = arch_data[0];
 	cpu_arch_t * cpu_arch = &m->arch;
 
Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -64,5 +64,5 @@
 };
 
-static char *vendor_str[] = {
+static const char *vendor_str[] = {
 	"Unknown Vendor",
 	"AMD",
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ia32/src/interrupt.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -65,13 +65,11 @@
 void decode_istate(istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->eip);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->eip);
+	
 	if (CPU)
 		printf("----------------EXCEPTION OCCURED (cpu%u)----------------\n", CPU->id);
 	else
 		printf("----------------EXCEPTION OCCURED----------------\n");
-		
+	
 	printf("%%eip: %#lx (%s)\n", istate->eip, symbol);
 	printf("ERROR_WORD=%#lx\n", istate->error_word);
@@ -80,5 +78,5 @@
 	printf("stack: %#lx, %#lx, %#lx, %#lx\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
 	printf("       %#lx, %#lx, %#lx, %#lx\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
-
+	
 	stack_trace_istate(istate);
 }
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm	
+/** @addtogroup ia32mm
  * @{
  */
@@ -109,5 +109,5 @@
 }
 
-static char *e820names[] = {
+static const char *e820names[] = {
 	"invalid",
 	"available",
@@ -122,5 +122,5 @@
 {
 	unsigned int i;
-	char *name;
+	const char *name;
 	
 	printf("Base               Size               Name\n");
Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -52,5 +52,5 @@
 void cpu_print_report(cpu_t *m)
 {
-	char *family_str;
+	const char *family_str;
 	char vendor[2 * sizeof(uint64_t) + 1];
 	
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ia64/src/interrupt.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -64,5 +64,5 @@
 #define BUNDLE_SIZE		16
 
-char *vector_names_64_bundle[VECTORS_64_BUNDLE] = {
+static const char *vector_names_64_bundle[VECTORS_64_BUNDLE] = {
 	"VHPT Translation vector",
 	"Instruction TLB vector",
@@ -87,5 +87,5 @@
 };
 
-char *vector_names_16_bundle[VECTORS_16_BUNDLE] = {
+static const char *vector_names_16_bundle[VECTORS_16_BUNDLE] = {
 	"Page Not Present vector",
 	"Key Permission vector",
@@ -121,8 +121,5 @@
 };
 
-static char *vector_to_string(uint16_t vector);
-static void dump_interrupted_context(istate_t *istate);
-
-char *vector_to_string(uint16_t vector)
+static const char *vector_to_string(uint16_t vector)
 {
 	ASSERT(vector <= VECTOR_MAX);
@@ -135,12 +132,10 @@
 }
 
-void dump_interrupted_context(istate_t *istate)
-{
-	char *ifa, *iipa, *iip;
-
-	ifa = symtab_fmt_name_lookup(istate->cr_ifa);
-	iipa = symtab_fmt_name_lookup(istate->cr_iipa);
-	iip = symtab_fmt_name_lookup(istate->cr_iip);
-
+static void dump_interrupted_context(istate_t *istate)
+{
+	const char *ifa = symtab_fmt_name_lookup(istate->cr_ifa);
+	const char *iipa = symtab_fmt_name_lookup(istate->cr_iipa);
+	const char *iip = symtab_fmt_name_lookup(istate->cr_iip);
+	
 	putchar('\n');
 	printf("Interrupted context dump:\n");
@@ -162,6 +157,6 @@
 void general_exception(uint64_t vector, istate_t *istate)
 {
-	char *desc = "";
-
+	const char *desc;
+	
 	switch (istate->cr_isr.ge_code) {
 	case GE_ILLEGALOP:
@@ -187,7 +182,7 @@
 		break;
 	}
-
+	
 	fault_if_from_uspace(istate, "General Exception (%s).", desc);
-
+	
 	dump_interrupted_context(istate);
 	panic("General Exception (%s).", desc);
Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -40,6 +40,6 @@
 
 struct data_t {
-	char *vendor;
-	char *model;
+	const char *vendor;
+	const char *model;
 };
 
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/mips32/src/debugger.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -253,14 +253,13 @@
 {
 	unsigned int i;
-	char *symbol;
 	
 	printf("#  Count Address    INPROG ONESHOT FUNCCALL In symbol\n");
 	printf("-- ----- ---------- ------ ------- -------- ---------\n");
 	
-	for (i = 0; i < BKPOINTS_MAX; i++)
+	for (i = 0; i < BKPOINTS_MAX; i++) {
 		if (breakpoints[i].address) {
-			symbol = symtab_fmt_name_lookup(
+			const char *symbol = symtab_fmt_name_lookup(
 			    breakpoints[i].address);
-
+			
 			printf("%-2u %-5d %#10zx %-6s %-7s %-8s %s\n", i,
 			    breakpoints[i].counter, breakpoints[i].address,
@@ -270,4 +269,6 @@
 			    BKPOINT_FUNCCALL) ? "true" : "false"), symbol);
 		}
+	}
+	
 	return 1;
 }
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/mips32/src/exception.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -49,5 +49,5 @@
 #include <symtab.h>
 
-static char * exctable[] = {
+static const char *exctable[] = {
 	"Interrupt",
 	"TLB Modified",
@@ -74,9 +74,7 @@
 static void print_regdump(istate_t *istate)
 {
-	char *pcsymbol, *rasymbol;
-
-	pcsymbol = symtab_fmt_name_lookup(istate->epc);
-	rasymbol = symtab_fmt_name_lookup(istate->ra);
-
+	const char *pcsymbol = symtab_fmt_name_lookup(istate->epc);
+	const char *rasymbol = symtab_fmt_name_lookup(istate->ra);
+	
 	printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol,
 	    istate->ra, rasymbol, istate->sp);
@@ -93,9 +91,9 @@
 static void reserved_instr_exception(int n, istate_t *istate)
 {
-	if (*((uint32_t *)istate->epc) == 0x7c03e83b) {
+	if (*((uint32_t *) istate->epc) == 0x7c03e83b) {
 		ASSERT(THREAD);
 		istate->epc += 4;
 		istate->v1 = istate->k1;
-	} else 
+	} else
 		unhandled_exception(n, istate);
 }
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -321,8 +321,6 @@
 void tlb_refill_fail(istate_t *istate)
 {
-	char *symbol, *sym2;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-	sym2 = symtab_fmt_name_lookup(istate->ra);
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	const char *sym2 = symtab_fmt_name_lookup(istate->ra);
 	
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
@@ -335,8 +333,6 @@
 void tlb_invalid_fail(istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
 	    cp0_badvaddr_read());
@@ -347,8 +343,6 @@
 void tlb_modified_fail(istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
 	    cp0_badvaddr_read());
Index: kernel/arch/ppc32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc32/src/cpu/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ppc32/src/cpu/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -54,5 +54,5 @@
 void cpu_print_report(cpu_t *m)
 {
-	char *name;
+	const char *name;
 	
 	switch (m->arch.version) {
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -114,10 +114,7 @@
 static void pht_refill_fail(uintptr_t badvaddr, istate_t *istate)
 {
-	char *symbol;
-	char *sym2;
-
-	symbol = symtab_fmt_name_lookup(istate->pc);
-	sym2 = symtab_fmt_name_lookup(istate->lr);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->pc);
+	const char *sym2 = symtab_fmt_name_lookup(istate->lr);
+	
 	fault_if_from_uspace(istate,
 	    "PHT Refill Exception on %p.", badvaddr);
Index: kernel/arch/sparc64/src/cpu/sun4u/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/sun4u/cpu.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/sparc64/src/cpu/sun4u/cpu.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -129,5 +129,6 @@
 void cpu_print_report(cpu_t *m)
 {
-	char *manuf, *impl;
+	const char *manuf;
+	const char *impl;
 
 	switch (m->arch.ver.manuf) {
Index: kernel/arch/sparc64/src/mm/sun4u/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -64,5 +64,5 @@
     tlb_tag_access_reg_t, const char *);
 
-char *context_encoding[] = {
+const char *context_encoding[] = {
 	"Primary",
 	"Secondary",
Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -89,5 +89,5 @@
  * field of the MMU fault status area is i.
  */
-char *fault_types[] = {
+static const char *fault_types[] = {
 	"unknown",
 	"fast miss",
@@ -107,5 +107,4 @@
 	"invalid page size"
 	};
-	
 
 /** Array of MMU fault status areas. */
Index: kernel/arch/sparc64/src/trap/exception.c
===================================================================
--- kernel/arch/sparc64/src/trap/exception.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
+++ kernel/arch/sparc64/src/trap/exception.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -46,9 +46,7 @@
 void dump_istate(istate_t *istate)
 {
-	char *tpcs, *tnpcs;
-
-	tpcs = symtab_fmt_name_lookup(istate->tpc);
-	tnpcs = symtab_fmt_name_lookup(istate->tnpc);
-
+	const char *tpcs = symtab_fmt_name_lookup(istate->tpc);
+	const char *tnpcs = symtab_fmt_name_lookup(istate->tnpc);
+	
 	printf("TSTATE=%#" PRIx64 "\n", istate->tstate);
 	printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, tpcs);