Hello @PhilippH,
- Can I use the generic FreeRTOS, provided with correct M7+MPU Port?
You can use the generic FreeRTOS port; however, you will need to implement your own solution for S32K3-specific configuration, which is mostly provided in the NXP FreeRTOS package already. Please try to start with this port to see if it solves the problem.
- If not, is there an NXP-provided FreeRTOS that can be configured in EB Tresos?
No, the provided NXP package is compatible only with S32DS for now. Could you share why do you need FreeRTOS with EB Tresos?
Usually, EB Tresos is used for AUTOSAR compliant applications, however, the FreeRTOS package we provided is just for customer evaluation, not recommended to be used in production since it does not meet automotive certifications (ISO26262). You can see it is released as Code Drop (CD) Quality, this is because FreeRTOS is an open-source software and NXP provides it as a reference software without any safety certification.
If your application requires a safety-certified OS, you can explore other options, even from our partners:
It is up to the customer to select the appropriate third-party RTOS, stacks, IDEs, compilers, etc. for their project.
Best regards,
Julián