On Fri, Jan 15, 2021 at 09:27:36AM +0100, Vincent Legoll wrote: > On Fri, Jan 15, 2021 at 12:07 AM Leo Famulari <l...@famulari.name> wrote: > > Specifically about armhf, if anybody wants to use it with Guix, I hope > > they will speak up. > > I am interested, I have tried, and failed to get anything (apart from guix > on foreign armbian). But I am more interested in guixsd though.
Okay, thanks for letting us know. > I even attempted building the pinebook pro image without success. Hm... it's a shame we are building this and it doesn't work. Do you also use some armhf (32-bit) hardware?