Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision ac48fef8fb17c81758c0b341179b0d47b9ecc95a)
+++ kernel/generic/include/console/kconsole.h	(revision 8ce14e316f8179ae2046a471132765e9c9823e2a)
@@ -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);
Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision ac48fef8fb17c81758c0b341179b0d47b9ecc95a)
+++ kernel/generic/include/ipc/irq.h	(revision 8ce14e316f8179ae2046a471132765e9c9823e2a)
@@ -54,4 +54,6 @@
  * ipc_irq_send_msg_m(), where m is the number of payload arguments.
  */
+#define ipc_irq_send_msg_0(irq) \
+    ipc_irq_send_msg((irq), 0, 0, 0, 0, 0)
 #define ipc_irq_send_msg_1(irq, a1) \
     ipc_irq_send_msg((irq), (a1), 0, 0, 0, 0)