bug#22384: Requirements for an ARM port?

[Ludovic Courtès]

Hello,

Mathieu Lirzin <address@hidden> skribis:

> Jookia <address@hidden> 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’.