Hi,I'd like help to understand what is thew PWM frequency.As far as I understand:1. The main system clock is 64MHZ -- see below SystemClock_Config()2. PWM frequency is 64KHz (= 64MHZ / (1000 - 1))BUT, measuring the frequency shows 4KHz (rather than 6...