HelenOS sources

root/kernel/arch/riscv64/src/boot/

[..]
boot.S
[..]
HelenOS homepage, sources at GitHub