Hi @abhishekpeak.,
You are correct, right now there is no native SafeRTOS integration approach, and as far as I know, we have no plan to provide it for customer use. NXP mainly focuses on the RTD driver which support MCAL layer in AUTOSAR. It is customer's willingness to select third-party RTOS, stacks, IDEs, compilers, etc. for their project.
Realistically, you could implement either approach for this, either baremetal or starting with FreeRTOS and eventually upgrading to SafeRTOS.
I found this document regarding scalability and the S32K family: S32K_SAFERTOS_Datasheet_v1.1.pdf.
Of course, this means that integration should be done with the support of a third-party.
Just as a note, you can also refer to S32K3 - NXP RTOS. The NXP RTOS is a real-time operating system which conforms to the AUTOSAR Specification of Operating System R21-11 rev. 0 specification. Since it is delivered by NXP, it is aligned with the RTD releases.
Best regards,
Julián