HelenOS sources

root/kernel/

[..]
arch/ doc/ genarch/ generic/ test/
[..]
HelenOS homepage, sources at GitHub