Is that GPS + PPS as a chrony time source?

Why yes it is!

We used an Adafruit Ultimate GPS board to get this working... This *will* make it into the docs for those interested in really good time keeping.

This was done independent of the LTE tinkering that was posted earlier and is way easier to accomplish (aka: no messing about with apt packages/repos).