RISC-V Support

Are there any plans to support RISC-V devices in PMOS ?