Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 6ce4005962775b6e275baf834057c191caee945e)
+++ kernel/generic/include/console/kconsole.h	(revision 882d7a8637d67d7356fa44c0da06a3078a89d0bc)
@@ -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);