I'm currently working on a project using the S32K3 (and possibly S32N) MCU series, and considering using FreeRTOS+TCP instead of lwIP for the network stack.
But I couldn't find any official port or example project for FreeRTOS+TCP in S32 Design Studio.
It looks like S32DS mainly supports lwIP (through PFE or ENET), but FreeRTOS+TCP doesn't seem to be integrated at all.
So I have a few questions:
Has anyone successfully run FreeRTOS+TCP on S32K devices?
Is there any reason why NXP doesn’t include a FreeRTOS+TCP port by default? (e.g. licensing, performance, memory usage?)
Are there any internal or community examples available that use FreeRTOS+TCP with S32K3?
Would really appreciate any insight, reference links, or even just confirmation that it's not officially supported.
Thanks in advance!