HelenOS sources

kconsole_thread   104 kernel/generic/include/console/kconsole.h extern void kconsole_thread(void *data);
kconsole_thread   166 kernel/generic/src/main/kinit.c 		thread = thread_create(kconsole_thread, NULL, TASK,
HelenOS homepage, sources at GitHub