I have reinstalled S32 IDE and thus now have RTM 4.0.1, earler I was using the same .mex file with RTM 4.0.0 successfully.
I then opened the .mex file in text editor and changed line
<mcu_data>s32sdk_s32k1xx_rtm_401</mcu_data>
to reflect rtm 401 for installed rtm version. It was earlier 400.
After this I was successful in opening the .mex file in S32 configuration tool but am still getting the errors for "device_registers.h" and other driver files not found, after updating code through configuration tool.
Is there a recommended way to migrate the .mex file to RTM4.0.1 and generate driver files, or did I miss anything else.
Regards,
Abhinav