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