The Pico PMW functionality is rather complicated to use.
The pwm_arduino.cpp example uses the standard Arduino analogWrite() to generate pwm output. The default frequency is defined by PICO_ARDUINO_PWM_FREQUENCY and set to 490 hz
We use the built in LED to test.