Is there a FreeRTOS SMP port for RISCV?

I am working to port RISC V for FreeRTOS SMP. It would be of great help if anyone had already made significant progress and could share the findings

I am not aware of any RISC-V SMP port.

If you end up writing one, feel free to upstream.