has anyone ever tried to port FreeRTOS to a TSK3000A processor?
It’s a generic 32 Bit soft core for all FPGAs by Tasking (Altium).
If you use the Altium toolchain (shematic, layout, FPGA, compiler)
you can choose the FPGA from any vendor you like.
Others, like Microblaze, only runs on the FPGA of the same vendor (Xilinx).
Maybe MICO32 runs on others too.