Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/include/console/kconsole.h	(revision a63253421fd9024f28592eebed582cbddb29621e)
@@ -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);