We have a new aarch64 machine, gcc185. It is a 32-core 3.3GHz Lenovo HR350A running CentOS 8.
Thanks to OSUOSL for the machine and the hosting!
You can connect to the machine at gcc185.fsffrance.org, default SSH port. Please be aware and mindful of others (do not hog all CPU, all memory, all disk space, etc.)