HelenOS sources

event_notify_1    212 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, true);
event_notify_1    231 kernel/generic/src/console/console.c 	event_notify_1(EVENT_KCONSOLE, false, false);
HelenOS homepage, sources at GitHub