I think PWM can go at about 1/2 the speed of the peripheral clock. Some PWM outputs are on PCLK1 (1/2 speed) and some are on PCLK2 (1/4 speed) so depending which timer is used for the PWM output you can go twice as fast. You can see which is which listed here: https://github.com/espruino/Espruino/blob/master/targets/stm32/jshardware.c#L434-L510
You could take a look at http://www.espruino.com/STM32+Peripherals and see about peeking/poking the Pico's timer peripheral (specifically the prescaler, autoreload register and counter) and see if you can get it to go faster?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I think PWM can go at about 1/2 the speed of the peripheral clock. Some PWM outputs are on PCLK1 (1/2 speed) and some are on PCLK2 (1/4 speed) so depending which timer is used for the PWM output you can go twice as fast. You can see which is which listed here: https://github.com/espruino/Espruino/blob/master/targets/stm32/jshardware.c#L434-L510
You could take a look at http://www.espruino.com/STM32+Peripherals and see about peeking/poking the Pico's timer peripheral (specifically the prescaler, autoreload register and counter) and see if you can get it to go faster?