GNU bug report logs

#48314 [PATCH] Install guix system on Raspberry Pi

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

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

Received: (at 48314) by debbugs.gnu.org; 22 Sep 2022 16:19:24 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 22 12:19:24 2022
Received: from localhost ([127.0.0.1]:38322 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1obOv6-0002mS-KS
	for submit@debbugs.gnu.org; Thu, 22 Sep 2022 12:19:24 -0400
Received: from mr6.vodafonemail.de ([145.253.228.166]:42056)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefan-guix@vodafonemail.de>) id 1obOv4-0002mF-WB
 for 48314@debbugs.gnu.org; Thu, 22 Sep 2022 12:19:23 -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 4MYL846dgKz1xyb;
 Thu, 22 Sep 2022 16:19:16 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de;
 s=vfde-mb-mr2-21dec; t=1663863557;
 bh=X/j2nqwhGe2ikHqBDcW6dH8/THTL56rDrWyiBFyqVng=;
 h=Content-Type:Subject:From:In-Reply-To:Date:Message-Id:References:
 To:X-Mailer:From;
 b=l4rYGVRDnrj8hw2tn0EXWnIfwP9y5eXMeou0mDTSbqr0/F3qpEEjbV2Nl2R6BKFzS
 BRHum+/IuVePeyRRqrFP0AvJqR6DWw/MdNwAZVEFO6P2QqjLq+uP1i7La/3DP+xgv8
 lScLAhVqOsVSgV+/QhNN1Lyxpl12HTrMV9g2aCJc=
Received: from macbook-pro.kuh-wiese.my-router.de
 (aftr-62-216-207-171.dynamic.mnet-online.de [62.216.207.171])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by smtp.vodafone.de (Postfix) with ESMTPSA id 4MYL7q6cTDz9rx7;
 Thu, 22 Sep 2022 16:19:00 +0000 (UTC)
Content-Type: multipart/mixed;
 boundary="Apple-Mail=_399177BD-9940-46EF-A69B-140091BA80A3"
Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\))
Subject: Re: [PATCH v5] Install guix system on Raspberry Pi
From: Stefan <stefan-guix@vodafonemail.de>
In-Reply-To: <CA1AEB2D-9941-4E53-A4D5-273E17626AD9@vodafonemail.de>
Date: Thu, 22 Sep 2022 18:18:59 +0200
Message-Id: <204332DD-AA02-4A31-9B48-FB3FAB9BD8F3@vodafonemail.de>
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>
To: 48314@debbugs.gnu.org, Vagrant Cascadian <vagrant@debian.org>,
 phodina <phodina@protonmail.com>,
 Danny Milosavljevic <dannym@scratchpost.org>
X-Mailer: Apple Mail (2.3124)
X-purgate-type: clean
X-purgate: clean
X-purgate-size: 144738
X-purgate-ID: 155817::1663863556-E9FFA4F8-A7967074/0/0
X-Debbugs-Envelope-To: 48314
Cc: Ludovic Courtès <ludo@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>
[Message part 1 (text/plain, inline)]
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

[01-gnu-linux-fix-extra-version.patch (application/octet-stream, attachment)]
[02-gnu-bootloader-rework-chaining.patch (application/octet-stream, attachment)]
[03-build-kconfig-add-new-module.patch (application/octet-stream, attachment)]
[04-gnu-bootloader-add-u-boot.patch (application/octet-stream, attachment)]
[05-gnu-linux-new-function-to.patch (application/octet-stream, attachment)]
[06-gnu-raspberry-pi-add-defconfig.patch (application/octet-stream, attachment)]
[07-gnu-raspberry-pi-add-helpers.patch (application/octet-stream, attachment)]
[08-gnu-raspberry-pi-new-function.patch (application/octet-stream, attachment)]
[09-gnu-raspberry-pi-add-a.patch (application/octet-stream, attachment)]

Send a report that this bug log contains spam.


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