HelenOS sources

root/kernel/generic/include/ipc/

[..]
event.h ipc.h ipcrsc.h irq.h kbox.h
sysipc.h sysipc_ops.h sysipc_priv.h
[..]
HelenOS homepage, sources at GitHub