#48314 - [PATCH] Install guix system on Raspberry Pi

Package	Source(s)		Maintainer(s)
guix-patches		PTS Buildd Popcon

Message #128 received at 48314@debbugs.gnu.org (full text, mbox, reply):

Received: (at 48314) by debbugs.gnu.org; 17 Jul 2022 16:48:17 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 12:48:17 2022
Received: from localhost ([127.0.0.1]:48432 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1oD7RJ-0000Rr-8u
	for submit@debbugs.gnu.org; Sun, 17 Jul 2022 12:48:17 -0400
Received: from mr6.vodafonemail.de ([145.253.228.166]:45322)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefan-guix@vodafonemail.de>) id 1oD7RH-0000RJ-24
 for 48314@debbugs.gnu.org; Sun, 17 Jul 2022 12:48:15 -0400
Received: from smtp.vodafone.de (unknown [10.0.0.2])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (2048 bits))
 (No client certificate requested)
 by mr6.vodafonemail.de (Postfix) with ESMTPS id 4Lm9yK52kCz1xy4;
 Sun, 17 Jul 2022 16:48:09 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de;
 s=vfde-mb-mr2-21dec; t=1658076489;
 bh=W/hUwFds2+w70Zq0BCdw7BfLfdyhhVZM2YWzmuSrpVo=;
 h=Content-Type:Subject:From:In-Reply-To:Date:Message-Id:References:
 To:X-Mailer:From;
 b=bej7t9N4KM3sWbUKWm10fhY+hf0kT/SR+voHP8m/jpcSXDTOOODKj9ez3DXUkdQsl
 in/6VcyOPYD9YCVEiLHW5fIwN6KjM25hdiuBxMjJid4mOml36Nc7/L6oekOCC/TbvA
 9+JpDuTJi0rBOltgvlsygUWRxLzebwWWseGZ0BDY=
Received: from smtpclient.apple (aftr-62-216-210-100.dynamic.mnet-online.de
 [62.216.210.100])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by smtp.vodafone.de (Postfix) with ESMTPSA id 4Lm9yC3jVNz9v2S;
 Sun, 17 Jul 2022 16:48:00 +0000 (UTC)
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.100.31\))
Subject: Re: [bug#48314] Patches to install guix system on Raspberry Pi
From: Stefan <stefan-guix@vodafonemail.de>
In-Reply-To: <87a6i7c3sw.fsf@ponder>
Date: Sun, 17 Jul 2022 18:47:52 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <86D908EE-955D-4EA1-AE2A-4072BB40468D@vodafonemail.de>
References: <20210619211026.5eb44073@scratchpost.org>
 <897B7FF7-24C1-4B96-8441-415596267E99@vodafonemail.de>
 <BDB9E76C-37FF-4033-81C1-9D5F0AA575F2@vodafonemail.de>
 <AFD31F40-6691-4B53-ACA9-7F821D139124@vodafonemail.de>
 <87a6i7c3sw.fsf@ponder>
To: Vagrant Cascadian <vagrant@debian.org>
X-Mailer: Apple Mail (2.3696.100.31)
X-purgate-type: clean
X-purgate: clean
X-purgate-size: 2222
X-purgate-ID: 155817::1658076489-C6602208-3EE4B9FD/0/0
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 48314
Cc: Danny Milosavljevic <dannym@scratchpost.org>, 48314@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi Vagrant!

> u-boot-file appears to be hard-coded; there may be other boards which use a different u-boot artifact.

If you build U-Boot, there is also u-boot-nodtb.bin. Therefore the u-boot-file is a function argument to the public make-preinstalled-u-boot-package to allow a selection.

> Also, why return a single file, rather than just building a package and then allowing other functions to pick the appropriate file out of the resulting package?

The reason is in the patch set 1: There is (already in master) a bootloader-profile which is able to collect a chain of bootloaders. The version in master allows a collection of files from packages, but requires a special installer. I figured out that the usage of the bootloader-profile gets much easier if the packages to chain only contain preselected files. From a user perspective the content of a complete bootloader-package is kind of a blackbox. When writing an operating-system configuration it is easy to figure out the right U-Boot package name, but no one expects to be required to install U-Boot in his profile to figure out that the u-boot.bin is below the libexec directory and that he is even required to care about moving the file around in directory hierarchies. 

However, you are right that the make-preinstalled-u-boot-package could take another U-Boot package as argument, being that other function to pick the appropriate file. Then it might be useful for other boards, too. The only trouble to solve then is a proper package name. Currently using make-preinstalled-u-boot-package the result of make-u-boot-package is only an intermediate package prefixed with “-complete”. Then a preinstalled package needs a suffix like “-bin”. I think this makes sense, I will change it.

> I wondered "why does it have to be cross-compiled" but then realized that came from the existing make-u-boot-package function. 

Yes, that’s right, it is a copy from the other function. It will be gone with the re-work.

> I've mostly been building u-boot natively these days. :)

Me too, exclusively. :-)


Bye

Stefan

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 14:39:50 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#48314 [PATCH] Install guix system on Raspberry Pi