Entonces, pensé que podría intentar configurar un servidor de tiempo (como lo hace uno). Tengo un nano ITX mb con una ranura mPCIe en él, y encontré una tarjeta GPS que supuestamente produce un 'timepulse'. Era lo suficientemente barato como para pensar que podría intentarlo. Después de un poco de juguetear con gpsd obtengo una corrección 3D, pero no datos de PPS. Entonces, ¿no debería esto darme un pulso de tiempo ...? Envié un correo electrónico al fabricante; Recibo un esquema de vuelta, aparentemente el timepulse está conectado al pin 42 en el conector mPCIe. Ahora no sé qué hacer. ¿Hay alguna manera de obtener la señal PPS del pin 42 en el conector mPCIe y en ntpd? Parece que ningún módulo de kernel de PPS admite esto de forma nativa, y las herramientas de PPS tampoco son de ayuda.
Cualquier ayuda apreciada.