HelenOS sources

root/boot/arch/

[..]
arm32/ arm64/ ia64/ mips32/ ppc32/
riscv64/ sparc64/
[..]
HelenOS homepage, sources at GitHub