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

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

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

Received: (at 48314) by debbugs.gnu.org; 28 Apr 2022 15:26:17 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 28 11:26:17 2022
Received: from localhost ([127.0.0.1]:49633 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1nk625-0004lR-3o
	for submit@debbugs.gnu.org; Thu, 28 Apr 2022 11:26:17 -0400
Received: from cascadia.aikidev.net ([173.255.214.101]:34588)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <vagrant@debian.org>) id 1nk623-0004lD-O2
 for 48314@debbugs.gnu.org; Thu, 28 Apr 2022 11:26:16 -0400
Received: from localhost (unknown [IPv6:2600:3c01:e000:21:7:77:0:20])
 (Authenticated sender: vagrant@cascadia.debian.net)
 by cascadia.aikidev.net (Postfix) with ESMTPSA id B428C1AB85;
 Thu, 28 Apr 2022 08:26:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=debian.org;
 s=1.vagrant.user; t=1651159569;
 bh=2E/MsoY+mp+W/gdgRWStoc7+cx3X8/PAlR1TJHILRvE=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=doKZY05wk4gRkWevvmcPDoLonFTrJni7BeQVH78shER5aq7Ceo4yVUvVCPeriDmOT
 tSkDeBAWoULXNMtKpVt/OtX9W5YZfm7CtKjvQEjEKs6sE7N1KEZem+Tniw/nOSISFP
 ao9NmZv/Y1SJbmkpx9OC836GIbo8utwnTns+Q17BqkL0J0RI+LjvHlX4tik9wW6IiE
 MtWU/4w0axH8nlbSGsdv4w7V2fscusKv9JeKtpEgClRlEfDK4NB7fb8z70wb4dHbqI
 7J27cXU7uL+88AvHWTiIjqeTaEeHK0+Wyn2Wx7ILU5ty7QeyS5viem8DGyJFiLpSuQ
 llF6my8Rq0Xgw==
From: Vagrant Cascadian <vagrant@debian.org>
To: Stefan <stefan-guix@vodafonemail.de>
Subject: Re: [PATCH v3] Install guix system on Raspberry Pi
In-Reply-To: <81366405-13FD-4F0E-8180-4DFCB16A6C1A@vodafonemail.de>
References: <87tuadhq3d.fsf@contorta>
 <81366405-13FD-4F0E-8180-4DFCB16A6C1A@vodafonemail.de>
Date: Thu, 28 Apr 2022 08:25:50 -0700
Message-ID: <87zgk5b56p.fsf@contorta>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 48314
Cc: dannym@scratchpost.org, Ludovic Courtès <ludo@gnu.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: -1.0 (-)

[Message part 1 (text/plain, inline)]

On 2022-04-28, Stefan wrote:
>> Just tested this on an rpi3b+ and sometime between u-boot 2021.01 and
>> 2021.04 rpi-arm64 fails to boot on rpi3b+ ... 
>
> IWithin my patch series there is one patch to modify a defconfig
> file. I enhanced that patch meanwhile to check, that lines in the
> modified defconfig show up in the final .config file. Last weekend I
> found out that several settings differ. I also updated the raspberry
> specific defconfigs, but the mismatches still remain.

Look forward to seeing an updated patch series!

> My guess is, that the kernel has problems booting. Did GRUB show up?

I didn't test with grub, just the syslinux-style menus, but it didn't
even get as far as u-boot on the serial console with
rpi_arm64_defconfig. With either rpi_3_defconfig or
rpi_3_b_plus_defconfig, it worked just fine.

I had to set gpu_freq=250 in config.txt, which is a bit of a known
issue:

  https://github.com/raspberrypi/firmware/issues/553

>> I feel confident at least
>> adding a simple u-boot-rpi-3 and/or u-boot-rpi-3-b-plus package (without
>> most of the proposed changes)
>
> Please wait a bit longer, I addressed all your comments to U-Boot already.

I really don't see the harm in it, and actually see considerable benefit
to making a smaller diff for review as it is a huge patch series, but
I'm not planning on actually using guix on any rpi hardware anytime
soon, so... ok.

live well,
  vagrant

[signature.asc (application/pgp-signature, inline)]

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:52:03 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