Buying new Honeycombs (AArch64)

[Ludovic Courtès]

Hello!

I’d like us to buy 4 new Honeycomb machines (AArch64) for use as build
machines on ci.guix.gnu.org, which is really short on Arm build machines
(at most 4 machines, often less depending on outage).

We can have them bought either by Guix Foundation or by the people
volunteering to host them and reimbursed from the funds at the FSF.  We
can figure that out once we have volunteers.

Honeycombs look like a reasonable choice to me because we know they
work, we have a working Guix System config in maintenance.git, so we
could buy the exact same ones that Ricardo bought back then.

If I’m not mistaken, the ones we have are:

  https://shop.solid-run.com/product/SRLX216S00D00GE064H09CH/

I believe there’s also a case for them, though I don’t know where they
were bought.  (Ricardo, can you confirm?)  We may also need to buy hard
drives too.

Thoughts?

Anyone would like to volunteer to host one or two of them?

Ludo’.