From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37511) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ekBlS-0004lb-Hv for guix-patches@gnu.org; Fri, 09 Feb 2018 11:43:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ekBlO-0000H0-J7 for guix-patches@gnu.org; Fri, 09 Feb 2018 11:43:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:55971) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ekBlO-0000Gs-ET for guix-patches@gnu.org; Fri, 09 Feb 2018 11:43:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ekBlO-0000D6-28 for guix-patches@gnu.org; Fri, 09 Feb 2018 11:43:02 -0500 Subject: [bug#30371] [PATCH] system: Add Cubieboard2. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20180206175842.25819-1-dannym@scratchpost.org> <878tc21d48.fsf@gnu.org> <20180209163611.5257192d@scratchpost.org> Date: Fri, 09 Feb 2018 17:42:29 +0100 In-Reply-To: <20180209163611.5257192d@scratchpost.org> (Danny Milosavljevic's message of "Fri, 9 Feb 2018 17:05:17 +0100") Message-ID: <87bmgyyv0q.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Danny Milosavljevic Cc: 30371@debbugs.gnu.org Danny Milosavljevic skribis: > I actually want to use it for Luke's EOMA68 board. He documented that for > mainline it should be booted using Cubieboard2's u-boot bootloader config. > > I'm still not done ruling out possible shorts on the board. It's still a > prototype and I'd rather not fry it on the first power-up attempt... Right, neat. (You should email the list about that EOMA68 thing BTW. :-)) > Can I somehow get a hold of the generic ARM 'flash-image that Hydra (supp= osedly) > built? Doesn't seem to be picked up as substitute for me. Dunno! Can you find the job in the Hydra Web UI? >> I=E2=80=99m also unsure we need to have one variable for each possible b= oard. >> We are not going to distribute installation images for each of these >> boards anyway. > > Yeah, once > > (1) the agetty patch is in > (2) we have an initrd-"copy modules IF they are there" functionality > (3) we have glibc spawni that's not broken > > we can have a generic [ARM] installation-os and the user can just boot it= in qemu. OK. >> Perhaps it makes sense to have them *if* they are discoverable or listed >> in the manual, *and* we provide instructions for people to build their >> own installation image for these boards. >>=20 >> Thoughts? > > We could have a procedure: > > (define (os-with-u-boot os board bootloader-target triplet) > "Given OS, amends it with the u-boot bootloader for BOARD, > installed to BOOTLOADER-TARGET, compiled for TRIPLET." > (operating-system (inherit os) > (bootloader (bootloader-configuration > (bootloader (bootloader (inherit u-boot-bootloader) > (package (make-u-boot-package board triplet= )))) > (target bootloader-target))))) > > and document that the user is supposed to "-e" that. Yes, that=E2=80=99s what I had in mind. > It still wouldn't use the substitute for the flash-image then, right? That would be a different derivation, so the image itself would still need to be built. However, all its dependencies would already be available as substitutes. Thanks, Ludo=E2=80=99.