Comment Comment by stephenmm He calls it RISC5, one might assume but does anyone know if it is using the RISC-V ISA? parent stephenmm 8 years ago