Index: generic/include/console/console.h
===================================================================
--- generic/include/console/console.h	(revision 442d0aeb342e54043423f7947dea7e7733bab9d5)
+++ generic/include/console/console.h	(revision 96c939e265b831944227ac791c6cc930f14d0ae3)
@@ -37,4 +37,5 @@
 
 extern __u8 getc(chardev_t *chardev);
+__u8 _getc(chardev_t *chardev);
 extern count_t gets(chardev_t *chardev, char *buf, size_t buflen);
 extern void putchar(char c);
Index: generic/include/console/kconsole.h
===================================================================
--- generic/include/console/kconsole.h	(revision 442d0aeb342e54043423f7947dea7e7733bab9d5)
+++ generic/include/console/kconsole.h	(revision 96c939e265b831944227ac791c6cc930f14d0ae3)
@@ -35,4 +35,5 @@
 
 #define MAX_CMDLINE     256
+#define KCONSOLE_HISTORY 10
 
 enum cmd_arg_type {