port for TSK3000A

Hi, 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. Greets, Joerg

port for TSK3000A

I am not aware of such a port. Regards.