GNU bug report logs - #22384
Porting GuixSD to ARM

Previous Next

Full log

Message #31 received at 22384-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Mathieu Lirzin <mthl <at> gnu.org>
Cc: Jookia <166291 <at> gmail.com>, 22384-done <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Wed, 17 Jan 2018 15:02:40 +0100

Hello,

Mathieu Lirzin <mthl <at> gnu.org> skribis:

> Jookia <166291 <at> gmail.com> writes:
>
>> I'm considering seeing if I can get GuixSD to work on an ARM board of mine. I'd
>> like to know what the main blockers are that I'll need to pass. From what I've
>> read and understood, the reason there's no ARM port now is lack of work and
>> reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my
>> specific board, what else would I need to do?
>
> According to [1] Guix 0.14 provides support for ARMv7.  So I would
> consider this bug fixed.
>
> [1] https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/

Indeed.  As the post mentions, GuixSD has not been “ported to ARM” but
rather ported to a specific ARM board—but that’s the way it is.

Thanks for going through the bug backlog!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.