Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/include/console/kconsole.h	(revision 04de76596e4d05a3dc73b8214d009de852888337)
@@ -88,5 +88,6 @@
 
 extern void kconsole_init(void);
-extern void kconsole(void *prompt);
+extern void kconsole(char *prompt, char *msg, bool kcon);
+extern void kconsole_thread(void *data);
 
 extern int cmd_register(cmd_info_t *cmd);