GNU bug report logs

#48314 [PATCH] Install guix system on Raspberry Pi

PackageSource(s)Maintainer(s)
guix-patches PTS Buildd Popcon
Full log

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

Received: (at 48314) by debbugs.gnu.org; 5 Oct 2022 13:03:06 +0000
From debbugs-submit-bounces@debbugs.gnu.org Wed Oct 05 09:03:06 2022
Received: from localhost ([127.0.0.1]:56212 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1og43G-0005hr-3S
	for submit@debbugs.gnu.org; Wed, 05 Oct 2022 09:03:06 -0400
Received: from eggs.gnu.org ([209.51.188.92]:35110)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1og43E-0005hO-1O
 for 48314@debbugs.gnu.org; Wed, 05 Oct 2022 09:03:04 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:53142)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@gnu.org>)
 id 1og437-0006Lj-9s; Wed, 05 Oct 2022 09:02:57 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To:
 From; bh=+1khudM9k/NsvofHzeLmeaLJQNzsjIDtCuBTMh7+dEg=; b=qKrRS/qEgjJiW0r6fFdF
 uEl48+fEMG62aPhYe4Ubxbg8N1BDl1gQZNELudThrl5w+VODAP0tLzhPvn9JDe06Q+MinNljHVN8X
 mjybkWDmGYwTFiUzWklwS0hbhByk1yDh6nY+zz+6nEFT0vQeQv9NVHIzvitWcNrK/F25DG4IGciP7
 Nl+qAz9qE2TBZRZRvzvoZ4gNTU0bFoMghw4gq/A0lSqrd5X5buDlMvABvStN6cXD+MsH9bphj31he
 h9xnoE5QaX2Vj0wW+SlHyMk1mEFmbYE4g+x0NH+CYRILK0NGCZBSKwqHzTwAlFA/8aMX4njotiggH
 KsqlV8dA2bonbQ==;
Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:64821
 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@gnu.org>)
 id 1og435-0003nt-Gz; Wed, 05 Oct 2022 09:02:56 -0400
From: Ludovic Courtès <ludo@gnu.org>
To: Stefan <stefan-guix@vodafonemail.de>
Subject: Re: [PATCH v5] Install guix system on Raspberry Pi
References: <xjr0W3rUn2GueNJb8lTEyJfyt5ECWhhz6FymZT-rQmOFC_H7woQjM_l9TFaza-5Sruwkn8XgBv5LTcR-gyKkSzwC5VU078zVqqDkSP7Sn2U=@protonmail.com>
 <CA07C169-EBA6-46B5-8EE1-FE7BDB9F00EE@vodafonemail.de>
 <EEFB37EE-F9AC-44BE-B5BB-77D34A160757@vodafonemail.de>
 <2IN6BsQe0_wSC9iwf7LHT5LUk7wXLVXytkDtcg7RIYByyYFTsuC9BZPR_wdv4eDMncsZfy17h7z9jIRRSC6kfV2odXkt0hp4Lilq5sGYdVo=@protonmail.com>
 <CA1AEB2D-9941-4E53-A4D5-273E17626AD9@vodafonemail.de>
 <204332DD-AA02-4A31-9B48-FB3FAB9BD8F3@vodafonemail.de>
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: Quartidi 14 Vendémiaire an 231 de la
 Révolution, jour
 du Réséda
X-PGP-Key-ID: 0x090B11993D9AEBB5
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4  0CFB 090B 1199 3D9A EBB5
X-OS: x86_64-pc-linux-gnu
Date: Wed, 05 Oct 2022 15:02:53 +0200
In-Reply-To: <204332DD-AA02-4A31-9B48-FB3FAB9BD8F3@vodafonemail.de> (Stefan's
 message of "Thu, 22 Sep 2022 18:18:59 +0200")
Message-ID: <87ilkyqv7m.fsf@gnu.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 48314
Cc: Vagrant Cascadian <vagrant@debian.org>,
 Danny Milosavljevic <dannym@scratchpost.org>, phodina <phodina@protonmail.com>,
 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: -3.3 (---)
Hi,

Vagrant, Danny: could you take a look at these patches?  They seem to
have fallen through the cracks.

TIA.  :-)

Ludo’.

Stefan <stefan-guix@vodafonemail.de> skribis:

> Hi!
>
> I did a rebase onto commit 2e8b4f9bfa00489fd3acff305837a79af236e183.
>
> Vagrant, there was a comment left about removing "CONFIG_BOOTDELAY=1" for the u-boot, this is now done. I think all review comments have been applied.
>
> There is a new u-boot-rockpro64-rk3399 which I adapted as well to use the #:configs keyword argument.
>
> The function modify-defconfig in guix/build/kconfig.scm no longer interprets "CONFIG_XY=" like "# CONFIG_XY is not set".
>
>
> Bye
>
> Stefan




Send a report that this bug log contains spam.


debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 14:49:35 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/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.