Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision ac8e7a918059120c8c14bb11fef3e0c2ebba857a)
+++ kernel/generic/src/console/kconsole.c	(revision a02e38367128b91da1fa803da73319a5ae37fb92)
@@ -296,5 +296,5 @@
 }
 
-static char *clever_readline(const char *prompt, chardev_t *input)
+static char *clever_readline(const char *prompt, indev_t *input)
 {
 	static int histposition = 0;
@@ -457,4 +457,9 @@
 }
 
+bool kconsole_check_poll(void)
+{
+	return check_poll(stdin);
+}
+
 /** Kernel console prompt.
  *
@@ -470,5 +475,5 @@
 	count_t len;
 	char *cmdline;
-
+	
 	if (!stdin) {
 		LOG("No stdin for kernel console");
@@ -481,4 +486,6 @@
 	if (kcon)
 		_getc(stdin);
+	else
+		printf("Type \"exit\" to leave the console.\n");
 	
 	while (true) {
@@ -488,11 +495,10 @@
 			continue;
 		
+		if ((!kcon) && (len == 4) && (strncmp(cmdline, "exit", 4) == 0))
+			break;
+		
 		cmd_info = parse_cmdline(cmdline, len);
 		if (!cmd_info)
 			continue;
-		
-		if ((!kcon)
-		    && (strncmp(cmd_info->name, "exit", min(strlen(cmd_info->name), 5)) == 0))
-			break;
 		
 		(void) cmd_info->func(cmd_info->argv);