Hello, Mathieu Lirzin <m...@gnu.org> skribis:
> Jookia <166...@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’.