HelenOS sources

kcpulb             59 kernel/generic/include/proc/scheduler.h extern void kcpulb(void *arg);
kcpulb            133 kernel/generic/src/main/kinit.c 			thread = thread_create(kcpulb, NULL, TASK,
HelenOS homepage, sources at GitHub