I'd like to write some simple testing application for S32K144 using FreeRTOS 10. I am using S32DS 2018.R1 under Linux. Unfortunately there is something wrong with S32DS under Linux and I cannot select anywhere FreeRTOS in S32DS. I've seen a few tutorials on the net where FreeRTOS can be used from S32DS but I have no such option in my version.
Thus I'm planning to create FreeRTOS project manually. I guess I need dedicated FreeRTOS for S32K144 so I'd like to ask if there are official FreeRTOS v10 sources for S32K144 published somewhere?