HelenOS sources

root/kernel/generic/src/main/

[..]
kinit.c main.c shutdown.c uinit.c version.c
[..]
HelenOS homepage, sources at GitHub