Hello,
I'm trying to create a application using NXP RTOS for S32K3. I was able to create an example and test the RTOS, it is working fine.
But I would like to understand the configuration on the example and also the options on S32DS tool configurator, such as:

It is kind of hard to understand all fields without documentation, can you share any documentation about it, please?
Thank you,
MVR