From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jesse Gibbons Subject: bug#37286: Make a faster method to list supported boards. Date: Mon, 02 Sep 2019 12:52:49 -0600 Message-ID: <5f87e4c297b8e4fca0f9ceb0729f2176dec947bb.camel@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:45494) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i4rRn-0002ue-5b for bug-guix@gnu.org; Mon, 02 Sep 2019 14:53:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i4rRm-0008UY-4d for bug-guix@gnu.org; Mon, 02 Sep 2019 14:53:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50156) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i4rRl-0008UP-Vy for bug-guix@gnu.org; Mon, 02 Sep 2019 14:53:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i4rRl-0005qL-UD for bug-guix@gnu.org; Mon, 02 Sep 2019 14:53:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:45440) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i4rRe-0002my-CA for bug-guix@gnu.org; Mon, 02 Sep 2019 14:52:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i4rRd-0008Mo-5d for bug-guix@gnu.org; Mon, 02 Sep 2019 14:52:54 -0400 Received: from mail-pg1-x536.google.com ([2607:f8b0:4864:20::536]:40720) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i4rRc-0008MA-VD for bug-guix@gnu.org; Mon, 02 Sep 2019 14:52:53 -0400 Received: by mail-pg1-x536.google.com with SMTP id w10so7821148pgj.7 for ; Mon, 02 Sep 2019 11:52:52 -0700 (PDT) Received: from piranhaplant.local ([199.68.53.171]) by smtp.googlemail.com with ESMTPSA id a18sm18866655pfn.156.2019.09.02.11.52.50 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 02 Sep 2019 11:52:51 -0700 (PDT) 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" To: 37286@debbugs.gnu.org There should be a faster way to list the supported boards with custom versions of U-Boot. >From manual: Many ARM boards require a specific variant of the U-Boot (https://www.denx.de/wiki/U-Boot/) bootloader. If you build a disk image and the bootloader is not available otherwise (on another boot drive etc), it’s advisable to build an image that includes the bootloader, specifically: guix system disk-image --system=armhf-linux -e '((@ (gnu system install) os-with-u-boot) (@ (gnu system install) installation-os) "A20- OLinuXino-Lime2")' ‘A20-OLinuXino-Lime2’ is the name of the board. If you specify an invalid board, a list of possible boards will be printed. I think an example of an invalid board is "dne-board", which (last I checked) does not exist and probably never will exist. If I run the following command: guix system disk-image --system=armhf-linux -e '((@ (gnu system install) os-with-u-boot) (@ (gnu system install) installation-os) "dne- board")' guix tries to build an entire system. It doesn't look like it checks if "dne-board" is a valid board until it is building the image. It takes hours to cross-compile the kernel, and even longer if the kernel needs to be deblobbed. I have not yet been able to cross-compile any system using this method.