It appears that TI has entered the GPS market. I don't know if this would make a good start on a GPSDO or not? Comments? https://estore.ti.com/SimpleLink-CC44000-GPS-Development-Kit-P2945C159.aspx