Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 52c79ac323b577fe6bcbf65a35e13e5e0d2043cb)
+++ kernel/generic/src/console/kconsole.c	(revision 093752cdd7c295c1f36d7291567f9243e6e0824e)
@@ -172,5 +172,5 @@
 static const char * cmdtab_search_one(const char *name,link_t **startpos)
 {
-	int namelen = strlen(name);
+	size_t namelen = strlen(name);
 	const char *curname;
 
@@ -417,5 +417,5 @@
 	
 	while (true) {
-		cmdline = clever_readline(prompt, stdin);
+		cmdline = clever_readline((char *) prompt, stdin);
 		len = strlen(cmdline);
 		if (!len)
@@ -487,5 +487,5 @@
 	cmd_info_t *cmd = NULL;
 	link_t *cur;
-	int i;
+	count_t i;
 	int error = 0;
 	
@@ -541,6 +541,6 @@
 		switch (cmd->argv[i].type) {
 		case ARG_TYPE_STRING:
-		    	buf = cmd->argv[i].buffer;
-		    	strncpy(buf, (const char *) &cmdline[start],
+			buf = (char *) cmd->argv[i].buffer;
+			strncpy(buf, (const char *) &cmdline[start],
 			    min((end - start) + 2, cmd->argv[i].len));
 			buf[min((end - start) + 1, cmd->argv[i].len - 1)] = '\0';
@@ -554,5 +554,5 @@
 			if (start != end && cmdline[start] == '"' &&
 			    cmdline[end] == '"') {
-				buf = cmd->argv[i].buffer;
+				buf = (char *) cmd->argv[i].buffer;
 				strncpy(buf, (const char *) &cmdline[start + 1],
 				    min((end-start), cmd->argv[i].len));
@@ -609,5 +609,5 @@
 bool parse_argument(char *cmdline, size_t len, index_t *start, index_t *end)
 {
-	int i;
+	index_t i;
 	bool found_start = false;