HelenOS sources

root/kernel/generic/src/

[..]
cap/ console/ cpu/ ddi/ debug/
interrupt/ ipc/ lib/ log/ main/
mm/ printf/ proc/ security/ smp/
synch/ syscall/ sysinfo/ time/ udebug/
[..]
HelenOS homepage, sources at GitHub