Hello @jingfang
Please register the S32K1 MCAL in the below link: https://www.nxp.com/products/processors-and-microcontrollers/s32-automotive-platform/s32k-auto-gener... (Choose your corresponding version since there are multiple versions of MCAL K1). After, you will get the link to download EB Tresos along with the link to download MCAL.
Best Regards,
Nam