The Feather RP2040 has now being released
https://shop.pimoroni.com/products/adafruit-feather-rp2040
The issues i have with this board is that there is only official support for CircuitPython which means you cannot even use both cores and no timeframe on when that will be added, same with asyncio and other built in features that MicroPython supports. This is one issue i have with Adafruit stuff, if you want support, your going to have to add it or wait, and using thier products on full python, you have to use thier blanka library as they refuse outright to natively support the full python or you can convert the libraries if your up for that chalange.
while its based on the RP2040, they have made some changes that makes coding even in C/C++ dificult because of lack of official support.
I will buy it but dont think i will ever use it