We want to use Percepio Tracealyzer with FreeRTOS on the S32K3 but Tracealyzer's built-in support does not include NXP RTD. I'm hoping someone can either point to an example port of trcHardwarePort.h using RTD or if there is a CMSIS release for the S32K344?