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

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

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

Received: (at 48314) by debbugs.gnu.org; 17 Jul 2022 16:48:33 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 12:48:33 2022
Received: from localhost ([127.0.0.1]:48435 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1oD7RY-0000SM-Jb
	for submit@debbugs.gnu.org; Sun, 17 Jul 2022 12:48:32 -0400
Received: from mr5.vodafonemail.de ([145.253.228.165]:49454)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefan-guix@vodafonemail.de>) id 1oD7RU-0000S4-3G
 for 48314@debbugs.gnu.org; Sun, 17 Jul 2022 12:48:31 -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 mr5.vodafonemail.de (Postfix) with ESMTPS id 4Lm9yZ0s7Pz1y4K;
 Sun, 17 Jul 2022 16:48:19 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de;
 s=vfde-mb-mr2-21dec; t=1658076502;
 bh=WnhjxYBfoIVdO0OLead7qS7TP7pq9z7ter/MS0jJvLc=;
 h=Content-Type:Subject:From:In-Reply-To:Date:Message-Id:References:
 To:X-Mailer:From;
 b=TaGi9hU+cvYFa9Ja9mjd4mIGWpjhsfRyDd8co2w3ghDV6D44l9qSOgsq+Smma/NGm
 XN3Dix0SvSNjlXFYeW03OFEOsyulQmdjewz7IbfzjzWSLMI2LLbM6X4cUttPrNeash
 ZQNYeHstkNJu12vjLACarwbMU6GCKqNTqJQ1R+X4=
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 4Lm9yN5SFSz9v2y;
 Sun, 17 Jul 2022 16:48:09 +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: <87zgq7ajt5.fsf@ponder>
Date: Sun, 17 Jul 2022 18:47:58 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <3FFD5D1E-3FB9-4EB9-907A-8502519FF7FE@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>
 <87zgq7ajt5.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: 2002
X-purgate-ID: 155817::1658076498-C6602208-7D36E43E/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!

>> +(define-public %u-boot-rpi-efi-configs
>> +  '("CONFIG_OF_EMBED="
>> +    "CONFIG_OF_BOARD=y"
>> +    "CONFIG_BOOTDELAY=0"))
> 
> This is surely a matter of opinion, but CONFIG_BOOTDELAY=0 is kind of
> nasty; it makes it nearly impossible to debug from a u-boot prompt if
> needed. The default is probably "2" ... long enough to actually
> interrupt it, but short enough that it shouldn't cause huge delays in
> the boot process...
> 
> I know grub-efi will add it's own delay, so in a working environment,
> this just seems like an additional two seconds, but u-boot's EFI
> implementation is changing often enough that I wouldn't be surprised if
> you need to occasionally debug something.

During all the months of work to get Guix System booting over network with U-Boot and GRUB, there was no need for me to play around on the U-Boot prompt. I was even affected by a bug¹ preventing U-Boot to detect my keyboard at all. The actual problem with that bug was not that the U-Boot prompt was unusable, but that GRUB relies on the keyboard functionality of U-Boot, so I couldn’t debug boot problems e.g. due to kernel argument problems in GRUB.

Well, in this constellation U-Boot just needs to find and load the efi/boot/bootaa64.efi file. It doesn’t need to load device-tree files or care for overlays. It doesn’t need to load other stuff like SPL or other images. Its only purpose is to impose an EFI interface and to load GRUB. So the benefit of the U-Boot prompt is quite limited.

Also other distributions like openSUSE use U-Boot as EFI firmware, so I think the basic EFI functionality is tested quite well. My preference is to not bother pure users with a delayed boot time. However, I changed it to CONFIG_BOOTDELAY=1.


Bye

Stefan


¹ <https://en.opensuse.org/HCL:Raspberry_Pi3#I_cannot_use_keyboard_in_U-Boot_and_Grub_but_it_works_in_Linux>

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:41:01 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