Using PWM on the RPi PICO microcontroller