Index: uspace/srv/console/console.c
===================================================================
--- uspace/srv/console/console.c	(revision 3fe00ee17c8a02cd852f45c0deca8859fe3cd9ac)
+++ uspace/srv/console/console.c	(revision eec616bc34e4233a5e002814ad0f802ef63af58d)
@@ -50,4 +50,5 @@
 #include <stdio.h>
 #include <sysinfo.h>
+#include <event.h>
 
 #include "console.h"
@@ -730,11 +731,8 @@
 	
 	/* Receive kernel notifications */
-//	if (sysinfo_value("kconsole.present")) {
-//		int inr = sysinfo_value("kconsole.inr");
-//		if (ipc_register_irq(inr, device_assign_devno(), 0, NULL) != EOK)
-//			printf(NAME ": Error registering kconsole notifications\n");
-//		
-//		async_set_interrupt_received(interrupt_received);
-//	}
+	if (event_subscribe(EVENT_KCONSOLE, 0) != EOK)
+		printf(NAME ": Error registering kconsole notifications\n");
+		
+	async_set_interrupt_received(interrupt_received);
 	
 	// FIXME: avoid connectiong to itself, keep using klog