while creating a new s32ds application project, while selecting tool chain(NXP GCC 9.2 FOR Arm 32-bite bare metal) , following next button and selecting the cores and parameters (SDK IS NOT SHOWING).
Whereas while selecting NXP GCC 6.3 for Arm , SDK options are available(free master_s32k144, s32k144_sdk)