[time-nuts] Arduino producing IRIG-B

[Tango Lima]

I have an Arduino in a circuit producing 1 KHz sine wave and a way to
control when the signal is high or low to meet the IRIG-B levels.  Has
anyone produced code for Arduino to take the time read from a GPS receiver
setup to produce IRIG-B127.  I need to basically amplitude modulate the 1
KHz to produce the code sequence of IRIG-B127.