Short update: Meanwhile i figured out that the module is running at 80MHz.
But what i cannot find in the docs, what is the highest frequency to capture ? Actually the shortest time, which is displayed is around 1375us. I would expect much higher values, when running at 80MHz.

Hello everyone,
i am new to this forum and to the esp-idf. I am trying to understand the MCPWM basic config example.
The capturing with the demo is working on my ESP Board, but i can't find out how to set the APB clock speed.

And this leeds me to question what the magic behind this formula is ...