The RP2040 chip, used in Raspberry Pi Picos, can now run at 200MHz if a minimum voltage of 1.15V is supplied, thanks to new certification.
Previously, the chip had a certified speed of 125 MHz but would commonly be overclocked by users.
To set the chip to run at 200 MHz, users need to set SYS_CLK_MHZ to 200 or 250 before building, while the fastest supported clock speed is 250 MHz and can be selected by using PICO_USE_FASTEST_SUPPORTED_CLOCK=1.
The new SDK also includes bug fixes, a new version of TinyUSB, and new examples, including MQTT examples, a PIO/DMA UART example and a multi CDC USB example.