The s32k chip has 4x 1588 timer which can capture 1588 time when an external event (edge of an external signal) occurs.
As I understand, the captured timestamps can be read either via SW or by DMA.
Suppose I want to use DMA to read the timestamps and place them in a buffer. Suppose I want to use 2 timers, each of them for different event, and each serviced by different DMA channel. How do I configure each DMA channel to use the particular timer as a trigger source?