HelenOS sources

root/kernel/arch/riscv64/include/arch/

[..]
arch.h asm.h boot/ context.h context_struct.h
cpu.h cycle.h drivers/ faddr.h fpu_context.h
interrupt.h istate.h istate_struct.h mm/ proc/
stack.h types.h
[..]
HelenOS homepage, sources at GitHub