HelenOS sources

root/kernel/generic/include/main/

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