I am having the exact problem.
I've installed S32DS 3.5 update 13 in Windows and Linux. I've installed the development package for the S32K3xx processor, then attempted the installation for the RTD drivers. In Windows, everything works fine. In Linux, although the installation completes, I do not see the RTD drivers listed in the "Extensions and Updates" window. Nor do I see any examples with the RD version I am attempting to load.
What was the resolution to this issue? Is there an issue using the RTD drivers in S32DS under Linux?
I am using Ubuntu 20.04, SW32K3_S32DS_3.5.13_D2407.zip, and SW32K3_S32M27x_RTD_R21-11_5.0.0_D2410_DesignStudio_updatesite.zip.
I need Linux support because my Windows environment in VirtualBox does not work with the Multilink debugger.