Hello,
Available IDE for the S32K devices can be found on the NXP site here:
S32 Design Studio IDE for Arm® based MCUs | NXP
The newest one which you can use is S32 Design Studio for ARM 2.2 – Windows/Linux(REV 2.2)
I hope it helps.
If you have any questions, please, let me know.
Best regards,
Diana