I have written this code for generating PPS on pin AD_B0_12 (pin 24 of teensy), but it's not getting generated please help.
// DPS_DCO PPS generation through
// peripherial: ENET_1588_EVENT1_OUT
// IOMUX: ALT6,
// teensy pin: 24
Serial.println("pps_generate")...