SW4STM32 and SW4Linux fully supports the STM32MP1 asymmetric multicore Cortex/A7+M4 MPUs

   With System Workbench for Linux, Embedded Linux on the STM32MP1 family of MPUs from ST was never as simple to build and maintain, even for newcomers in the Linux world.
And, if you install System Workbench for Linux in System Workbench for STM32 you can seamlessly develop and debug asymmetric applications running partly on Linux, partly on the Cortex-M4.
You can get more information from the ac6-tools website and download two short videos (registration required) highlighting:

System Workbench for STM32

measure speed motor using Timer1 on stm32f030

Capture compare is likley best simplest option
the max freq you can measure is close to half the timer clk feq/ prescaler but then accuray is bad.
basiclay you have to set timer clk high enought to get precsion but not to much to cope with smallest fequencies you can measure

i sugest you read http://www.st.com/content/ccc/resource/technical/document/application_note/54/0f/67/eb/47/34/45/40/DM00042534.pdf/files/DM00042534.pdf/jcr:content/translations/en.DM00042534.pdfQuestion
have a look at CubeF0 (or F4) example for code sample or just google ;)

note that the timers are not arm they are st periferals , triger most ofen refer to “enable timer counter”