Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
+++ kernel/generic/src/console/console.c	(revision 6eb957dc03c2cd2c6e13a28a9aa5ec04955bd913)
@@ -204,4 +204,5 @@
 void grab_console(void)
 {
+	event_notify_1(EVENT_KCONSOLE, false, true);
 	bool prev = console_override;
 	
@@ -221,4 +222,5 @@
 {
 	console_override = false;
+	event_notify_1(EVENT_KCONSOLE, false, false);
 }