Thank you so much for your interest in our products and for using our community.
There is no bare-metal examples for S32K3. Just those that use High Level Driver (HLD) or Low Level Driver (IP) which you can find in its respective RTD for S32K3xx devices.
Yes we tried to test some of those RTD examples as changing config (pin setting etc) but couldn't manage to work. Could you share this board dedicated example project with .mex file so we can test without doubt. Thanks.