Support for Raspberry Pi (armv7l)
UPDATE 2021-04-20
I've built gcc-arm 10.2.1 armv7l in anticipation for an upcoming Particle deviceOS release.
Today I successfully compiled gcc-arm 9.2.1 for the Raspberry Pi 4.
Using deviceOS 2.0.0-rc.1, building a cleaned, empty project takes around 3 minutes, and rebuilding takes around 5 seconds.
The tar.gz archive and the extracted contents take significantly less space than the gcc-arm 5.3.1 toolchain I compiled.