Looking for distribute new port to FreeRTOS

Hello, Our team have ported FreeRTOS on our SoCs and we would like to distribute it to FreeRTOS. We are a partner of FreeRTOS but I don’t know who is contact point. Is there anyone can help us? – Thanks

Looking for distribute new port to FreeRTOS

Hi – can you please use the ‘business contact’ link on this page: http://www.freertos.org/contact – I will get copied on the email.