I’d like feedback on an idea related to the RISCV chip extensions before I create a pull request.
I think it would be good to add a FREERTOS_RISC_EXTENSION option to the CMake project similar to how FREERTOS_PORT is used. The CMake project would issue an error and provide valid options if the user chooses a RISC_V port but does not specify a chip extension folder name. Currently, the chip extension support is quite limited, and doesn’t support all the chip extensions available for GCC.
What do maintainers think about this idea?