HelenOS sources

root/uspace/lib/corecfg/include/ipc/

[..]
corecfg.h
[..]
HelenOS homepage, sources at GitHub