I personally haven't tried this but I found NTP client. There, the user AlexT provides a way to get NTP into your image, I suggest you to check it out.
I see you already checked Re: Let's make pps_gpio work on Quark/Galileo, I believe that thread is very helpful in regards to pps. So, you could combine the information in both threads in order to continue with your project. I hope this helps.
Let us know,
Peter - very good! I think I'm about 95% of the way there. Two more questions, if I may - the NTP PPS drivers normally access the PPS by an entry in /dev - I assume in this case that would be the same path that you used for the asserts in the pps-gpio thread. Also, can you tell me if the GPIO inputs will tolerate TTL levels (5V) or are they 3.3V only.
Will keep you posted on my progress!
I believe you are correct. The way to access the PPS is probably in /sys/class/pps/pps0/assert.
As you can see in Galileo Datasheet under Arduino Shield Supported Features, Galileo's IO supports 3.3v or 5v. This can be set with the IOREF jumper: