Hello,
In our project we plan to use a freeRTOS OS. Currently I have not found any examples or extensions to include the library in the S32DS. Is it not released yet or it has to be done manually?
I found a touturial for an older version of S32DS, but it seems to be too different:
https://mcuoneclipse.com/2018/07/18/using-custom-freertos-with-s32k-and-osif-for-arm/
And a second question about the SysTick timer. The reference manual doesn't say much about it either (how to configure or trigger an interrupt).
I saw that the SysTick timer is used in the OSif for the system timer. Can this timer perhaps also be used to generate a tick every 1Ms for example?