Raspberry Pi Pico Quick Toolchain for 1.3.4-d

Update Platform.IO JSON naming

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.4-c

• Reduce flash use by 6K, RAM by 4K by removing exception code in libstdc++ when not used.
• Reduce download by 25M, installation by 50MB by removing unused LTO code

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.4-a

GCC 10.3 + C++ exceptions

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.3-a

Updated GDB and OpenOCD on non-Linux to work by including expat as part of cross-compile builds.
Windows OpenOCD versions now coming from manually built (under Windows) and tested versions.
See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.2-a

• Fixes setjmp/longjmp crashes

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.1-a

Add CMSIS-DAP to OpenOCD to support pico-debug

See https://github.com/earlephilhower/arduino-pico for more info

Raspberry Pi Pico Quick Toolchain for 1.3.0-a

Add support for 64-bit and 8-bit format strings (%lld, %hh).
Add additional timezone support.

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.2.0-a

GCC 10.3 + OpenOCD fixes. See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.1.0-a

See https://github.com/earlephilhower/ArduinoPico for more info

Raspberry Pi Pico Quick Toolchain for 1.1.0-base

See https://github.com/earlephilhower/ArduinoPico for more info