On page 1325 of the S32K-RM
PDB's register Status and Control register (PDB_SC) bit TRGSEL
The description is Refer to chip configuration details for the actual PDB input trigger
connections.
But I can't find any information about chip configuration details.
What can I do to find the related trigger input source?