HelenOS sources

root/kernel/generic/src/ipc/

[..]
event.c ipc.c ipcrsc.c irq.c kbox.c
ops/ sysipc.c sysipc_ops.c
[..]
HelenOS homepage, sources at GitHub