Hi
I don’t know if you’ve heard about the Kendryte k210, either way it’s a very interesting chip.
It’s a dual core 64-bit RISC-V chip running at 400+ MHz with built in RAM and accelerators for Neural networks, fft, crypto ssh and aes.
It’s cheap (Modules with flash and wifi $9, w/o wifi $8), ok documented and there are multiple dev. boards that can be bought cheaply (See seeedstudio link below).
The toolchain is based on gcc with openocd for JTAG debugging.
I was just wondering if this is something you would consider supporting, perhaps in the future as I’m sure you already have your plate full.
Here are some links:
https://kendryte.com/downloads/
https://github.com/kendryte
https://www.seeedstudio.com/catalogsearch/result/?cat=&q=sipeed
https://maixduino.sipeed.com/en/
https://www.youtube.com/watch?v=dcoc0GrYujM