Changing STM32MP157D Linux system CLOCK_REALTIME to use the 64-bit Ethernet precision timer
On an STM32MP157D-based system, I wish to condition the Linux CLOCK_REALTIME precision clock against an external clock source in a non-standard manner (ie. not using PTPD or similar).To do this, I am using a wireless radio controlled by the CM4 core ...