Time syncronization with PPS signal from GPS

Hi, i think the swarm implementation will be happening soon. I’ve found PPS signal from GPS could be used for trigger interrupt to synchronize timing for all robots and GCS. But unfortunately that i’m too noob for embedded implement the interrupt. Anyone working on it or have some guide would be appriciated!

Maybe we could use IEEE1588?