Thank you very much for the valuable information, joan, trejan, and jdb. The things are slowly getting more clear for me. Here are few more observations: on a freshly booted RPi4 with Raspbian Buster, the vcgencmd measure_clock pwm , executed few times within a minute or so, shows the PWM clock freq...