Hi Ryan Lush,
You can use the TPM capture function to detect the input pulse.

TPM clock source can be found in this picture:

So,if your TPM clock is 48Mhz, you can input 48M/4=12Mhz.
Wish it helps you!
Have a great day,
Kerry
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------