HelenOS sources

root/kernel/

[..]

arch/

doc/

genarch/

generic/

test/

[..]

HelenOS homepage, sources at GitHub