HelenOS sources

kconsole_init     100 kernel/generic/include/console/kconsole.h extern void kconsole_init(void);
kconsole_init     202 kernel/generic/src/main/main.c 	kconsole_init();