Sometimes it’s nice to be wrong, seems we’re still good for a while:
arm-none-eabi-gcc: note: valid arguments are: armv4 armv4t armv5t
armv5te armv5tej armv6 armv6j armv6k armv6z armv6kz armv6zk armv6t2
armv6-m armv6s-m armv7 armv7-a armv7ve armv7-r armv7-m armv7e-m armv8-a
armv8.1-a armv8.2-a armv8.3-a armv8.4-a armv8.5-a armv8.6-a
armv8-m.base armv8-m.main armv8-r armv8.1-m.main armv9-a iwmmxt iwmmxt2
GCC still supports armv4 which is what we need for our green friend!
On another note, GitHub makes me sadder and sadder. I tried to kick off a macOS build for GCC, it has been queued for eleven hours now, and it honestly looks dead. Alternatives are sparse for macOS builds, or even just arm64.