Re: What ARM hardware should we buy and where should we host it?

2018-09-15 Thread Andreas Enge
On Fri, Sep 14, 2018 at 11:37:25PM +0200, Ricardo Wurmus wrote: > Thanks for sharing this. In my opinion, it would be good if we could > increase the number of build machines first before we allow too much of > the funds to be regularly consumed by hosting costs. Indeed, I just mentioned it to gi

Re: What ARM hardware should we buy and where should we host it?

2018-09-14 Thread Tobias Geerinckx-Rice
Ricardo, Ricardo Wurmus wrote: Ricardo Wurmus wrote: We are looking for volunteers who could either host a machine at home or in a data centre that they could get emergency access to. I've got plenty of cool, dry space for homeless boxen. No racks, though. This is good! Do you have some

Re: What ARM hardware should we buy and where should we host it?

2018-09-14 Thread Ricardo Wurmus
Hi Andreas, > On Mon, Sep 03, 2018 at 01:37:54PM +0200, Ricardo Wurmus wrote: >> The first question is what ARM hardware to buy; the second is where to >> host that hardware. Here are some considerations: > > concerning hosting, I could easily host one smaller machine (like the > Overdrive 1000

Re: What ARM hardware should we buy and where should we host it?

2018-09-14 Thread Ricardo Wurmus
Vagrant Cascadian writes: > On 2018-09-03, Ricardo Wurmus wrote: >> - We need to be able to restart the machine remotely. If members of the >> Guix project have no physical access to the hosting site, this can be >> done via remote-controlled power supply or similar. >> >> We are looking f

Re: What ARM hardware should we buy and where should we host it?

2018-09-14 Thread Ricardo Wurmus
Hey Tobias, > Ricardo Wurmus wrote: >> We are looking for volunteers who could either host a machine at >> home or >> in a data centre that they could get emergency access to. > > I've got plenty of cool, dry space for homeless boxen. No racks, > though. This is good! Do you have somewhat conv

Re: What ARM hardware should we buy and where should we host it?

2018-09-14 Thread Vagrant Cascadian
On 2018-09-03, Ricardo Wurmus wrote: > - We need to be able to restart the machine remotely. If members of the > Guix project have no physical access to the hosting site, this can be > done via remote-controlled power supply or similar. > > We are looking for volunteers who could either host a

Re: What ARM hardware should we buy and where should we host it?

2018-09-11 Thread Andreas Enge
Hello, On Mon, Sep 03, 2018 at 01:37:54PM +0200, Ricardo Wurmus wrote: > The first question is what ARM hardware to buy; the second is where to > host that hardware. Here are some considerations: concerning hosting, I could easily host one smaller machine (like the Overdrive 1000) in my living r

Re: What ARM hardware should we buy and where should we host it?

2018-09-04 Thread Steve McIntyre
On Tue, Sep 04, 2018 at 02:03:18PM -0400, Leo Famulari wrote: >On Mon, Sep 03, 2018 at 10:59:38AM -0700, Vagrant Cascadian wrote: >> One of the most promising seems to be the SynQuacer: >> >> https://www.96boards.org/product/developerbox/ >> >> With a 24-core processor, SATA, PCIe, USB 3.0, mic

Re: What ARM hardware should we buy and where should we host it?

2018-09-04 Thread Leo Famulari
On Mon, Sep 03, 2018 at 10:59:38AM -0700, Vagrant Cascadian wrote: > One of the most promising seems to be the SynQuacer: > > https://www.96boards.org/product/developerbox/ > > With a 24-core processor, SATA, PCIe, USB 3.0, micro-atx form-factor, > and 4 ram slots (up to 64GB, in theory, but ma

Re: What ARM hardware should we buy and where should we host it?

2018-09-03 Thread Steve McIntyre
Hey Vagrant! On Mon, Sep 03, 2018 at 10:59:38AM -0700, Vagrant Cascadian wrote: >On 2018-09-03, Ricardo Wurmus wrote: >> The first question is what ARM hardware to buy; the second is where to >> host that hardware. Here are some considerations: >> >> - The new systems should be easy to host in a

Re: What ARM hardware should we buy and where should we host it?

2018-09-03 Thread Vagrant Cascadian
On 2018-09-03, Ricardo Wurmus wrote: > The first question is what ARM hardware to buy; the second is where to > host that hardware. Here are some considerations: > > - The new systems should be easy to host in a data centre; this might > mean that we need rack-mounted servers, or that we need a

Re: What ARM hardware should we buy and where should we host it?

2018-09-03 Thread Tobias Geerinckx-Rice
Ricardo, Ricardo Wurmus wrote: We are looking for volunteers who could either host a machine at home or in a data centre that they could get emergency access to. I've got plenty of cool, dry space for homeless boxen. No racks, though. Kind regards, T G-R

What ARM hardware should we buy and where should we host it?

2018-09-03 Thread Ricardo Wurmus
Hi Guix, currently, we have a very small number of ARM build machines that provide some substitutes for armhf and aarch64 systems. (See https://www.gnu.org/software/guix/donate/ for details.) We would like to increase this number by purchasing more systems, but we need your help to get this righ