From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#22384: Requirements for an ARM port? Date: Sun, 17 Jan 2016 21:39:24 +0100 Message-ID: <87h9ic54ar.fsf@gnu.org> References: <20160116102726.GA4482@novena-choice-citizen.lan> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53816) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKu7J-00045b-A2 for bug-guix@gnu.org; Sun, 17 Jan 2016 15:40:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKu7G-00081n-3n for bug-guix@gnu.org; Sun, 17 Jan 2016 15:40:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:35623) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKu7G-00081E-0R for bug-guix@gnu.org; Sun, 17 Jan 2016 15:40:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1aKu7F-0006ox-Qn for bug-guix@gnu.org; Sun, 17 Jan 2016 15:40:01 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20160116102726.GA4482@novena-choice-citizen.lan> (Jookia's message of "Sat, 16 Jan 2016 21:27:26 +1100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Jookia <166291@gmail.com> Cc: 22384@debbugs.gnu.org Jookia <166291@gmail.com> skribis: > I'm considering seeing if I can get GuixSD to work on an ARM board of min= e. 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 a= nd > 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 =E2=80=98linux-libre=E2=80=99 package might work already, or i= t might need more tweaks; I don=E2=80=99t think anyone has tried to boot it on ARM.) I would prefer if we could use GRUB with ARM support=C2=B9 if possible. Using U-Boot would be OK if GRUB doesn=E2=80=99t work as expected, but it= =E2=80=99s 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=E2=80=99. =C2=B9 https://wiki.linaro.org/LEG/Engineering/Kernel/GRUB (GRUB 2.02 should work)