Thank you for your interest in our products and for contributing to our community.
For development with S32K1xx series we recommend to use the latest S32DS and RTD versions:
• S32 Design Studio 3.6.4 – Windows/Linux
• S32K1_S32M24X Real Time Drivers AUTOSAR R21-11 Version 3.0.0
To download IDE, go to S32 Design Studio for S32 Platform page -> Downloads -> S32 Design Studio 3.6.4 – Windows/Linux
To download RTD, go to S32K1 page -> Design Resources -> Software-> Real-Time Drivers for S32K1 -> Automotive SW - S32K1_S32M24x - Real-Time Drivers for Cortex-M
Please check before Release Notes for installation flow/details to each SW.
Once you have installed SW, you could refer to all the RTD examples:

I hope this information is helpful. Feel free to reach out if you have any further questions using Real-Time Drivers (RTD).