PICDIV firmware - PIC micocontroller based 10MHz to 1PPS divider/counter, from http://www.leapsecond.com/pic/picdiv.htm - View it on GitHub