AnsweredAssumed Answered

FreeRTOS 10 for S32K144

Question asked by on Jul 4, 2019
Latest reply on Jul 22, 2019 by Jorge Antonio Alcala Vazquez



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?