So I recently bought some ESP32-S3 dev boards and I discovered that trying to run pio init -b esp32-s3-devkitc-1 on my laptop (Intel i9 running Ventura 13.4) fails with this message:
Tool Manager: Installing espressif/toolchain-riscv32-esp @ 8.4.0+2021r2-patch3
UnknownPackageError: Could not find the package with 'espressif/toolchain-riscv32-esp @ 8.4.0+2021r2-patch3' requirements for your system 'darwin_x86_64'
Creating a new project from the PlatformIO GUI in vscode gives me the same error. Compiling for the same board from the Arduino IDE works fine after installing the esp32 boards package.
Has anyone else run into this problem? Are there drivers I need to install or a different board ID I need to use? Any help much appreciated!