Has anybody looked at the RP2040W yet?
I might be wrong, but looking at the schematics it appears that the LED has been moved from the main chip to the wireless chip. That means that the standard "blink LED" program now has to send commands (over SDIO?) rather than simply toggling a GP bit.
Various people have speculated that it's simply a Pico with an ESP8266 (expected to obey an AT command set) grafted on. In actual fact, it uses an Infineon chip which it needs to control at a low level.
Both of which points, I feel, lock users into the official MicroPython and C/C++ SDKs, rather than encouraging the use of alternative toolchains.
MarkMLl