Pico SDK Allows 200MHz Clock

A new SDK was released allowing the Raspberry Pico to run at 200MHz.

In the release notes:

200Mhz Clock Support for RP2040
RP2040 has now been certified to run at a system clock of 200Mhz when using a regulator voltage of at least 1.15 volts.
The SDK by default performs clock setup for you before your program enters main(). If you haven’t customized the clock configuration in any way, it will attempt to configure the system clock based on the value of SYS_CLK_MHZ (or SYS_CLK_KHZ/SYS_CLK_HZ if specified instead). Without further information from you, it can only do this for specific clock frequencies.
In prior versions of the SDK, only one specific clock frequency was defined per platform, 125Mhz for RP2040 and 150Mhz for RP2350, which also happen to be the default values for SYS_CLK_MHZ
With this version of the SDK, you can now select a 200Mhz clock for RP2040 simply by setting SYS_CLK_MHZ=200 via preprocessor define. The regulator voltage will automatically be raised for you if necessary.