I am upgrading from KSDK 1.2.0 TO 1.3.0, but now none of my TPM timers count. I have set them up as PWM. There appears to be some problem setting up the clockto the TPM.
I use 1.2.0 again, no problem. TPM_DRV_SetClock() changed its clock source enum and this seems to be part of the problem.