This is my first time posting in this forum, so please be gentle :). I am trying to install the Raspberry Pi RP2040 platform, but the installation fails with the following error poping up as a notification:
PIO Core Call Error: "Platform Manager: raspberrypi @ 1.0.0 is already installed\nTool Manager: Installing platformio/toolchain-gccarmnoneeabi @ ~1.90201.0\n\n\nError: Could not find the package with 'platformio/toolchain-gccarmnoneeabi @ ~1.90201.0' requirements for your system 'linux_armv7l'"
My system is a raspberry Pi 400 running an up to date 32 bit Raspberry Pi OS. Visual Studio Code and PlatformIO are also up to date.
How can I resolve this problem?