From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 12:48:33 2022 Received: (at 48314) by debbugs.gnu.org; 17 Jul 2022 16:48:33 +0000 Received: from localhost ([127.0.0.1]:48435 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) 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 ) 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 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> <87zgq7ajt5.fsf@ponder> To: Vagrant Cascadian 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 , 48314@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Vagrant! >> +(define-public %u-boot-rpi-efi-configs >> + '("CONFIG_OF_EMBED=3D" >> + "CONFIG_OF_BOARD=3Dy" >> + "CONFIG_BOOTDELAY=3D0")) >=20 > This is surely a matter of opinion, but CONFIG_BOOTDELAY=3D0 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... >=20 > 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=C2=B9 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=E2=80=99t 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=E2=80=99t need to load device-tree = files or care for overlays. It doesn=E2=80=99t 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=3D1. Bye Stefan =C2=B9 =