Experimental RISC-V port