yes. Even one of the examples is a RISC-V core. However, your expectation should be around a RISC core that can be used as a microcontroller rather than a RISC CPU for running linux.