HelenOS sources

kinit.h   45 kernel/generic/src/main/kinit.c #include <main/kinit.h>
kinit.h   61 kernel/generic/src/main/main.c #include <main/kinit.h>
HelenOS homepage, sources at GitHub