It seems clear that in order for simulcast to work properly with the RTCM I will need to clock the CPU to the GPSDO. Is there a device available to give you the 9.6 mhz reference from the 10 mhz out from the GPSDO or does anyone have a schematic available so that I can build them myself?