On 16/04/2020 15:29, Christian Mauderer wrote: > _CPU_Counter_frequency() can be called by the rtems_counter > initialization before arm_gt_clock_initialize() initializes the value > used in _CPU_Counter_frequency(). > > Update #3456. Thanks, looks good.