Hi @r-j1
Based on the images you shared, it appears that no software has been installed for S32K1 devices.
Download and install the Real-Time Drivers (RTDs) for S32K1 devices. These can be found in Automotive SW - S32K1_S32M24x - Real-Time Drivers for Cortex-M section under Real-Time Drivers for S32K1. Specifically, you need to download the DesignStudio_updatesite.zip file. For example, S32K1_S32M24X Real Time Drivers AUTOSAR R21-11 Version 3.0.0 → SW32K1_S32M24x_RTD_R21-11_3.0.0_D2503_DesignStudio_updatesite.zip.
After downloading, install it through S32DS Extensions and Updates by selecting Add Update Sites.
Regarding the S32_SDK_S32K1xx_RTM_4.0.2, please note that it is only included in the S32 Design Studio 3.4 S32K1xx Service Pack 1. Therefore, it will not be compatible with or supported by S32DS 3.6.
BR, VaneB