Hi
You could have seen and installed the S32 SDK for S32K1xx RTM 4.0.2 in S32DS Extensions and Updates.
Please check Available S32DS Software Sites

If it still doesn't work, you can try to download S32 SDK for S32K1xx RTM 4.0.2 and refer to HOWTO: S32 Design Studio - Offline Install of Extensions and Updates

Best Regards,
Robin
-------------------------------------------------------------------------------
Note:
- If this post answers your question, please click the "Mark Correct" button. Thank you!
- We are following threads for 7 weeks after the last post, later replies are ignored
Please open a new thread and refer to the closed one, if you have a related question at a later point in time.
-------------------------------------------------------------------------------