Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 093752cdd7c295c1f36d7291567f9243e6e0824e)
+++ kernel/generic/src/console/cmd.c	(revision 2936eefc2b013e1f23260bbb8ab10fec05e6f3a3)
@@ -526,5 +526,5 @@
 int cmd_symaddr(cmd_arg_t *argv)
 {
-	symtab_print_search(argv->buffer);
+	symtab_print_search((char *) argv->buffer);
 	
 	return 1;
@@ -544,9 +544,9 @@
 #endif
 
-	symaddr = get_symbol_addr(argv->buffer);
+	symaddr = get_symbol_addr((char *) argv->buffer);
 	if (!symaddr)
 		printf("Symbol %s not found.\n", argv->buffer);
 	else if (symaddr == (uintptr_t) -1) {
-		symtab_print_search(argv->buffer);
+		symtab_print_search((char *) argv->buffer);
 		printf("Duplicate symbol, be more specific.\n");
 	} else {
@@ -580,9 +580,9 @@
 #endif
 
-	symaddr = get_symbol_addr(argv->buffer);
+	symaddr = get_symbol_addr((char *) argv->buffer);
 	if (!symaddr)
 		printf("Symbol %s not found.\n", argv->buffer);
 	else if (symaddr == (uintptr_t) -1) {
-		symtab_print_search(argv->buffer);
+		symtab_print_search((char *) argv->buffer);
 		printf("Duplicate symbol, be more specific.\n");
 	} else {
@@ -618,9 +618,9 @@
 #endif
 
-	symaddr = get_symbol_addr(argv->buffer);
+	symaddr = get_symbol_addr((char *) argv->buffer);
 	if (!symaddr)
 		printf("Symbol %s not found.\n", argv->buffer);
 	else if (symaddr == (uintptr_t) -1) {
-		symtab_print_search(argv->buffer);
+		symtab_print_search((char *) argv->buffer);
 		printf("Duplicate symbol, be more specific.\n");
 	} else {
@@ -657,9 +657,9 @@
 #endif
 
-	symaddr = get_symbol_addr(argv->buffer);
+	symaddr = get_symbol_addr((char *) argv->buffer);
 	if (!symaddr)
 		printf("Symbol %s not found.\n", argv->buffer);
 	else if (symaddr == (uintptr_t) -1) {
-		symtab_print_search(argv->buffer);
+		symtab_print_search((char *) argv->buffer);
 		printf("Duplicate symbol, be more specific.\n");
 	} else {
@@ -719,16 +719,16 @@
 
 	if (((char *)argv->buffer)[0] == '*') {
-		addr = (uint32_t *) get_symbol_addr(argv->buffer+1);
+		addr = (uint32_t *) get_symbol_addr((char *) argv->buffer + 1);
 		pointer = true;
-	} else if (((char *)argv->buffer)[0] >= '0' && 
+	} else if (((char *) argv->buffer)[0] >= '0' && 
 		   ((char *)argv->buffer)[0] <= '9')
 		addr = (uint32_t *)atoi((char *)argv->buffer);
 	else
-		addr = (uint32_t *)get_symbol_addr(argv->buffer);
+		addr = (uint32_t *)get_symbol_addr((char *) argv->buffer);
 
 	if (!addr)
 		printf("Symbol %s not found.\n", argv->buffer);
 	else if (addr == (uint32_t *) -1) {
-		symtab_print_search(argv->buffer);
+		symtab_print_search((char *) argv->buffer);
 		printf("Duplicate symbol, be more specific.\n");
 	} else {
@@ -925,5 +925,5 @@
 		return true;
 	
-	uint64_t *data = malloc(sizeof(uint64_t) * cnt, 0);
+	uint64_t *data = (uint64_t *) malloc(sizeof(uint64_t) * cnt, 0);
 	if (data == NULL) {
 		printf("Error allocating memory for statistics\n");
@@ -991,5 +991,5 @@
 	test_t *test;
 	
-	if (strcmp(argv->buffer, "*") == 0) {
+	if (strcmp((char *) argv->buffer, "*") == 0) {
 		for (test = tests; test->name != NULL; test++) {
 			if (test->safe) {
@@ -1003,5 +1003,5 @@
 		
 		for (test = tests; test->name != NULL; test++) {
-			if (strcmp(test->name, argv->buffer) == 0) {
+			if (strcmp(test->name, (char *) argv->buffer) == 0) {
 				fnd = true;
 				run_test(test);
@@ -1031,5 +1031,5 @@
 	
 	for (test = tests; test->name != NULL; test++) {
-		if (strcmp(test->name, argv->buffer) == 0) {
+		if (strcmp(test->name, (char *) argv->buffer) == 0) {
 			fnd = true;