HelenOS sources
root
/
kernel
/
generic
/
src
/synch/
[..]
condvar.c
irq_spinlock.c
mutex.c
semaphore.c
smc.c
spinlock.c
syswaitq.c
waitq.c
[..]
HelenOS homepage
,
sources at GitHub