Hi again,that's how i understood it so far, correct me if i'm wrong:openstlinux on STM32MP1 uses arch_sys_counter as clocksourcecat /sys/devices/system/clocksource/clocksource0/available_clocksource
arch_sys_counterwhich also serves as clock source ...