Hello Andrew,
Unfortunately, S32K SDK (Processor Expert) is currently not available for Linux version of S32DS.
There is now pending internal discussions about the SDK Linux support but currently there are no short term plans to add it.
Regards,
Stan