RISC-V RV64IS-compatible processor for the Kestrel-3 - View it on GitHub