Hi,
is there a FreeRTOS v9 port to S32K144 mcu? If there is no port, should I use the FreeRTOS v9 port for ARM Cortex-M4F?