I am using FreeRTOS with S32K396 development package. I was getting OS option under S32DS to configure RTOS related parameters.

After recent update, OS Option is missing from above menu.
I have recently updated my S32K396 Development package with March 2023 release. I no longer get option to configure FreeRTOS under same menu. I do not see option to add FreeRTOS through SDK. Following are details of my S32K396 package version number. Can you please help me to get FreeRTOS configuration option under S32DS.


#S32K396