I'd like to start a periodic timer on a TM4C, on a voltage being applied to a pin. The specific application is to start a 10Hz timer on arrival of a GPS-based PPS signal. I do not want to start the timer by calling start() from an ISR, but to have the periodic timer set up and ready to start in hardware, when the edge arrives. I suspect that this is very simple, but I can't find it.
Though I'd prefer the direct approach, I can think of some other approaches:
1) Measure between 2 PPS's, calculate the arrival of the next one, and set an event on the (already running) free-running timer that will trigger the start of the periodic timer. Is it possible to set an event on an already-running timer? Can that event start a new timer?
2) Set a timer into edge counter mode to trigger an event after 1 edge (the PPS) and use that event (hopefully not requiring jumping up out of the hardware into software) to start the periodic timer. Possible?
3) Some other shenanigans involving measuring latencies, blah, blah, and settling it at the right start time after a few seconds of adjustment,
4) Etc.
I'm primarily working in RTOS 6.16, but I expect to need either to use the ROM libraries or to poke at the registers.
I'll be grateful for any suggestions, either specific solutions or pointers to an approach.
Thanks,
Bob