GNU bug report logs - #22384
Porting GuixSD to ARM

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 22384 in the body.
You can then email your comments to 22384 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jookia <166291 <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: Requirements for an ARM port?
Date: Sat, 16 Jan 2016 21:27:26 +1100

Hey there,

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?

Cheers,
Jookia.

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

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Jookia <166291 <at> gmail.com>
Cc: 22384 <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Sun, 17 Jan 2016 10:10:27 +0200

[Message part 1 (text/plain, inline)]

On Sat, 16 Jan 2016 21:27:26 +1100
Jookia <166291 <at> gmail.com> wrote:

> Hey there,
> 
> 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?
> 
> Cheers,
> Jookia.
> 

According to the documentation, the arm board needs to be armv7 or later, and
support hard float, thumb-2, NEON, and support the EABI hard-float ABI.

I don't know a lot about setting up arm boards, but if I understand it
correctly, u-boot -> kernel -> guixsd image, where u-boot and the kernel get
updated in tandem.

I wish you much luck with getting GuixSD to run on an arm board, I think many
of us are looking forward to this working.

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[Message part 2 (application/pgp-signature, inline)]

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Jookia <166291 <at> gmail.com>
Cc: 22384 <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Sun, 17 Jan 2016 21:39:24 +0100

Jookia <166291 <at> gmail.com> skribis:

> 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?

I think getting a working bootloader and kernel are the main blockers
(the current ‘linux-libre’ package might work already, or it might need
more tweaks; I don’t think anyone has tried to boot it on ARM.)

I would prefer if we could use GRUB with ARM support¹ if possible.
Using U-Boot would be OK if GRUB doesn’t work as expected, but it’s more
work; namely, a module equivalent to (gnu system grub) would need to be
made, and (gnu system) would need to be made independent of GRUB.

At any rate, GuixSD on ARM would be very nice!

Ludo’.

¹ https://wiki.linaro.org/LEG/Engineering/Kernel/GRUB (GRUB 2.02 should
  work)

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

From: Jookia <166291 <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22384 <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Mon, 18 Jan 2016 08:01:23 +1100

On Sun, Jan 17, 2016 at 09:39:24PM +0100, Ludovic Courtès wrote:
> Jookia <166291 <at> gmail.com> skribis:
> I think getting a working bootloader and kernel are the main blockers
> (the current ‘linux-libre’ package might work already, or it might need
> more tweaks; I don’t think anyone has tried to boot it on ARM.)

Ah, it shouldn't be that much of a problem then. Famous last words, but I guess
I'll be doing some hacking to get GuixSD on ARM then! No promises. :)

> I would prefer if we could use GRUB with ARM support¹ if possible.
> Using U-Boot would be OK if GRUB doesn’t work as expected, but it’s more
> work; namely, a module equivalent to (gnu system grub) would need to be
> made, and (gnu system) would need to be made independent of GRUB.

I agree GRUB with ARM support would be better, though from my experience it's
still in its infancy. I've managed to get GRUB executing on my Novena board but
I've still had issues having it actually boot anything, eventually I gave up
since my use case was solved by something else. So unfortunately until that's
ironed out (and supported on more boards), I think U-Boot will have to make do
for now. I suppose it's also good hygiene to support more booting methods too.

> At any rate, GuixSD on ARM would be very nice!
> Ludo’.

I much appreciate the reply and sorry for opening a bug report on this rather
than posting to -devel or help-. I'll probably have a ton of bug reports and
patches down the line as I get GuixSD on to my T400, so I'm now drinking from
the firehose of all three mailing lists. :)

Cheers,
Jookia.

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Jookia <166291 <at> gmail.com>
Cc: 22384 <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Mon, 18 Jan 2016 09:03:49 +0100

Jookia <166291 <at> gmail.com> skribis:

> I much appreciate the reply and sorry for opening a bug report on this rather
> than posting to -devel or help-. I'll probably have a ton of bug reports and
> patches down the line as I get GuixSD on to my T400, so I'm now drinking from
> the firehose of all three mailing lists. :)

Heh.  :-)  Don’t hesitate to ask if you have troubles or anything;
everyone will be happy to help that effort!

Ludo’.

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

From: Mathieu Lirzin <mthl <at> gnu.org>
To: Jookia <166291 <at> gmail.com>
Cc: 22384 <at> debbugs.gnu.org
Subject: Re: bug#22384: Requirements for an ARM port?
Date: Mon, 15 Jan 2018 17:58:10 +0100

Hello,

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/

-- 
Mathieu Lirzin
GPG: F2A3 8D7E EB2B 6640 5761  070D 0ADE E100 9460 4D37

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.