HelenOS sources

root/kernel/arch/riscv64/src/

[..]
asm.S boot/ context.S cpu/ debug/
drivers/ mm/ proc/ riscv64.c smc.c
userspace.c
[..]
HelenOS homepage, sources at GitHub