Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 76fca318d723e24d0c79dc1a99d87b0b03dee0f1)
+++ kernel/generic/include/console/kconsole.h	(revision fb69f39c1c7a3f85d8a9f3789fe0ddf2fa266ec4)
@@ -38,4 +38,5 @@
 #include <adt/list.h>
 #include <synch/spinlock.h>
+#include <ipc/irq.h>
 
 #define MAX_CMDLINE     256
@@ -84,8 +85,12 @@
 } cmd_info_t;
 
+extern bool kconsole_notify;
+extern irq_t kconsole_irq;
+
 SPINLOCK_EXTERN(cmd_lock);
 extern link_t cmd_head;
 
 extern void kconsole_init(void);
+extern void kconsole_notify_init(void);
 extern void kconsole(char *prompt, char *msg, bool kcon);
 extern void kconsole_thread(void *data);