We are a chip vender. Does anyone know about how can we add the FreeRTOS demo port of our chip to the FreeRTOS official release? The driver and related software porting is finished. But I can not find any information about add demo port to the FreeRTOS. Does it free for charge? If not, how much shall we pay for that? What kind of information/document should we provide? Thanks for the help!