请问micokit-3165开发板上提供给STM32单片机内部定时器1的时钟频率是多少？

各位高手，小弟正在基于micokit-3165开发板开发裸板定时器应用。请教各位高手：在micokit-3165开发板上，提供给STM32单片机内部定时器1的时钟频率是多少？谢谢！