Changes in kernel/generic/src/console/console.c [7ddc2c7:593e023] in mainline

File:

• kernel/generic/src/console/console.c (modified) (2 diffs)

kernel/generic/src/console/console.c

@@ -204 +204 @@
 void grab_console(void)
 {
+        event_notify_1(EVENT_KCONSOLE, false, true);
         bool prev = console_override;
         
@@ -221 +222 @@
 {
         console_override = false;
+        event_notify_1(EVENT_KCONSOLE, false, false);
 }
 
 /** Activate kernel console override */
-sysarg_t sys_debug_activate_console(void)
+sysarg_t sys_debug_console(void)
 {
 #ifdef CONFIG_KCONSOLE