From debbugs-submit-bounces@debbugs.gnu.org Sun May 13 05:24:41 2018 Received: (at 31416) by debbugs.gnu.org; 13 May 2018 09:24:41 +0000 Received: from localhost ([127.0.0.1]:60167 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fHnFB-0003jP-Gv for submit@debbugs.gnu.org; Sun, 13 May 2018 05:24:41 -0400 Received: from eggs.gnu.org ([208.118.235.92]:44673) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fHnF9-0003jC-Tn for 31416@debbugs.gnu.org; Sun, 13 May 2018 05:24:40 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fHnF3-0000co-Ha for 31416@debbugs.gnu.org; Sun, 13 May 2018 05:24:34 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:42431) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fHnF3-0000ck-DF; Sun, 13 May 2018 05:24:33 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40796 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fHnF2-0006Bs-Qa; Sun, 13 May 2018 05:24:33 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Danny Milosavljevic Subject: Re: [bug#31416] [PATCH 1/4] system: Add os-with-u-boot. References: <20180511143515.23435-1-dannym@scratchpost.org> <20180511143652.26935-1-dannym@scratchpost.org> Date: Sun, 13 May 2018 11:24:30 +0200 In-Reply-To: <20180511143652.26935-1-dannym@scratchpost.org> (Danny Milosavljevic's message of "Fri, 11 May 2018 16:36:49 +0200") Message-ID: <87in7rnc1d.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31416 Cc: 31416@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hello! Great that you=E2=80=99re streamlining GuixSD on ARM! Danny Milosavljevic skribis: > * gnu/system/install.scm (os-with-u-boot): New procedure. > * gnu/packages/bootloaders.scm (make-u-boot-package): Export. > * doc/guix.texi (Building the Installation Image for ARM boards): New > subsection. [...] > +@subsection Building the Installation Image for ARM boards =E2=80=9CBoards=E2=80=9D > +Many ARM boards require a board-specific bootloader in order to boot. Maybe: =E2=80=9Crequire a specific variant of the @uref{http://www.denx.de/wiki/U-Boot/, U-Boot} bootloader.=E2=80=9D > +If you build an entire disk image and the is not still available otherwi= se > +(on another available drive etc), it's advisable to build an image that > +includes the bootloader, specifically: > + > +@example > +guix system disk-image --system=3Darmhf-linux -e '((@ (gnu system instal= l) os-with-u-boot) (@ (gnu system install) installation-os) "A20-OLinuXino-= Lime2")' > +@end example Note: In Texinfo you need to double all the at signs. > +Or if you don't cross compile: It=E2=80=99s not cross-compilation. :-) But I don=E2=80=99t think you need to repeat the command line. > +"A20-OLinuXino-Lime2" is the name of the board. If you specify an inval= id ^ @code > +board, you get a list. I think the patch is otherwise OK. Ludo=E2=80=99.