HelenOS sources

kconsole          417 kernel/arch/mips32/src/debugger.c 		kconsole("debug", "Debug console ready.\n", false);
kconsole          103 kernel/generic/include/console/kconsole.h extern void kconsole(const char *prompt, const char *msg, bool kcon);
kconsole          854 kernel/generic/src/console/kconsole.c 	kconsole("kconsole", "Kernel console ready (press any key to activate)\n", true);
kconsole           71 kernel/generic/src/lib/halt.c 		kconsole("panic", "\nLast resort kernel console ready.\n", false);
kconsole          165 uspace/drv/char/ski-con/ski-con.c 	sysarg_t kconsole;
kconsole          172 uspace/drv/char/ski-con/ski-con.c 	if (sysinfo_get_value("kconsole", &kconsole) != EOK)
kconsole          175 uspace/drv/char/ski-con/ski-con.c 	return kconsole != false;
HelenOS homepage, sources at GitHub