The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz

This SDK update moving the RP2040 baseline to 200MHz is very welcome for the projects where you can't have an egregious overclock over manufacturer approved spec.

For hobby projects, I've achieved significant overclocks on both RP2040 and RP2350. I suspect this is mostly due to the use of TSMC's 40NM 40LP process which is a smaller process node than most microcontrollers use.

> PICO_USE_FASTEST_SUPPORTED_CLOCK=1