Hi,
Since RTD v4.0.1 does not seem to be a public release, we recommend sending this inquiry to the NXP FAE/Representative that provided the access to this specific version.
As for what we can understand, v4.0.1 provided updates on some modules, while v4.0.0 is still the base of the overall driver. As said under the release notes:
"This release contains the updates for CRYPTO, MCL, PORT, SERDES, THERMAL,
WDG, RM, WDG_VR5510, PMIC drivers, on top of S32 Real-Time Drivers release
Version 4.0.0."
For which, we suspect that the SPD v2.0.0 is still the version to use.
Please, let us know.