Thank you for your reply,
I have looked into both those documentations but none detail how to use ETPU RDC from RTD_4_0_0 using the S32DS configuration tools.
The latest ETPU FW (ETPU_SW_S32K3XX 2.0.0.202502261321) includes a 'ETPU_Resolver_Ip' module and I am looking for documentation/examples/help on how to use that).
Thanks