Port for TI C28xx family

I would like to run FreeRTOS on a TI C28xx dsp. Is there a porting for these device family? Thanks.

Port for TI C28xx family

Is there any plan to port for these TI DSPs?

Port for TI C28xx family

I’ll do it if someone will pay for the tools.;) I’ve asked the same thing – TI has their DSP/BIOS – which you pay for whether you like it or not – and it seems to get the job done. That having been said – I would like to do the port – and will if someone will pony-up for the tools from TI/Digital Spectrum.  I have recent experience with the ‘F2812 – so I feel I could do this as long as I have time – and the tools.  If you have a target board that you want it done for – please mention that too. Just wondering – why would you not use the DSP/BIOS?  It’s burned into the chip and you pay for it. Regards, John W.