kinit 38 kernel/generic/include/main/kinit.h extern void kinit(void *arg); kinit 278 kernel/generic/src/main/main.c thread_t *kinit_thread = thread_create(kinit, NULL, kernel,