Based on recent commits, it looks like RISC-V support is being added to FreeRTOS. Which board is the RISC-V port initially targetting?

[answered this yesterday but reply didn’t show so copied out of my sent items folder] One of the Microsemi boards, it’s in my other office so can’t recall exactly which at the moment. Also SPIKE emulator (sort of). Do you have a particular interest in RISC-V?

Thanks for the info. I’m very glad to hear you are working on RISC-V support. I am interested in running FreeRTOS on HiFive1 and Rocket chip — and Spike of course. You’re probably already aware of this, but just in case: SiFive has an experimental (and currently unmaintained) FreeRTOS 9.0 port: https://github.com/sifive/freedom-e-sdk/tree/FreeRTOS/software/FreeRTOSv9.0.0