Is there any way to use this platform in PIO using a specific release of board_build core earlephilower.

[lucbenoit01750]

Hello,
My project uses an RP240.
I have the following config in platformio.ini
;[env:pico]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = RP2040
framework = arduino
board_build.core = earlephilhower
I would like to specify the release 3.9.5 (latest with old RPI SDK)
Is this feasible ?
Thanks and best regards,
Luc

[JanPetterMG]

Was googling the same thing when I found this resource:
https://arduino-pico.readthedocs.io/en/latest/platformio.html#selecting-a-different-core-version

[env:pico]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git#v1.2.0-gcc12
platform_packages =
   framework-arduinopico @ https://github.com/earlephilhower/arduino-pico.git#3.9.5
framework = arduino
board = pico
board_build.core = earlephilhower