Previously the standard clock speed for the RP2040 in Earle Philhower’s Raspberry Pi Pico/RP2040 core was 133 MHz, and the higher clock speeds from 150 MHz upwards were marked “Overclocked”.
Now the latest release of the pico-sdk released yesterday includes the change:
RP2040 has now been certified to run at a system clock of 200Mhz when using a regulator voltage of at least 1.15 volts.
For more details see: pico-sdk 2.1.1
Using 200 MHz as the standard clock frequency should improve all the uLisp RP2040 benchmarks by 50%. I’ll update the Performance specs accordingly.