HelenOS sources

root/kernel/arch/

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