Hello Jonathan,
> I can not speak for Nix, but openSUSE has around 10 more or less powerful ARM > servers for native building. See https://build.opensuse.org/monitor Thanks for sharing, I like very much the design of this page, I might take some ideas from it to improve https://ci.guix.gnu.org/workers. > Some weeks ago i did some research on ARM servers. TL;DR There are some > options, even fast ones, but its not easy to found shops who sell them and > have them in stock... True, you even proposed to contact Linaro to see if they were willing to provide us some aarch64 VM. I think it would be great :). Thanks, Mathieu
