search

maxgerhardt / platform-raspberrypi

Raspberry Pi: development platform for PlatformIO
Apache License 2.0
107 stars 54 forks source link

Bump arduino-pico version to the latest release #60

Closed britannio closed 5 months ago

britannio commented 5 months ago

I ran into the FreeRTOS + Pico W bug fixed in the latest arduino-pico release (https://github.com/earlephilhower/arduino-pico/releases/tag/3.7.2)

Doing this fixes it https://github.com/britannio/platform-raspberrypi/commit/1d083309492eeb6014a050d12f9b37722e3bfda6