From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QBwNMmuGsl85IwAA0tVLHw (envelope-from ) for ; Mon, 16 Nov 2020 14:02:19 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id yGfyLWuGsl8MWwAAB5/wlQ (envelope-from ) for ; Mon, 16 Nov 2020 14:02:19 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 29416940538 for ; Mon, 16 Nov 2020 14:02:18 +0000 (UTC) Received: from localhost ([::1]:41640 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kef5F-0005l6-Iy for larch@yhetil.org; Mon, 16 Nov 2020 09:02:17 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:52486) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kef52-0005jP-2g for guix-patches@gnu.org; Mon, 16 Nov 2020 09:02:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:43884) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kef4z-0004Cf-PN for guix-patches@gnu.org; Mon, 16 Nov 2020 09:02:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kef4z-0004Lf-NO for guix-patches@gnu.org; Mon, 16 Nov 2020 09:02:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. Resent-From: Danny Milosavljevic Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 16 Nov 2020 14:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44543 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Stefan Cc: 44543@debbugs.gnu.org Received: via spool by 44543-submit@debbugs.gnu.org id=B44543.160553527416662 (code B ref 44543); Mon, 16 Nov 2020 14:02:01 +0000 Received: (at 44543) by debbugs.gnu.org; 16 Nov 2020 14:01:14 +0000 Received: from localhost ([127.0.0.1]:55430 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kef4E-0004Kf-6v for submit@debbugs.gnu.org; Mon, 16 Nov 2020 09:01:14 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:48892) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kef4C-0004KW-4I for 44543@debbugs.gnu.org; Mon, 16 Nov 2020 09:01:13 -0500 Received: from localhost (80-110-126-103.cgn.dynamic.surfer.at [80.110.126.103]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 778153362972; Mon, 16 Nov 2020 15:01:10 +0100 (CET) Date: Mon, 16 Nov 2020 15:01:08 +0100 From: Danny Milosavljevic Message-ID: <20201116150108.26a2daa7@scratchpost.org> In-Reply-To: <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> X-Mailer: Claws Mail 3.17.7 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/co7TdbWX5CKd2taXRS8M_6P"; protocol="application/pgp-signature"; micalg=pgp-sha512 X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -1.11 X-TUID: A49s8dEkZX7V --Sig_/co7TdbWX5CKd2taXRS8M_6P Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Stefan, thanks! On Mon, 16 Nov 2020 11:38:19 +0100 Stefan wrote: > The firmware blob using these files can=E2=80=99t be handled by Guix, thi= s will have to be left as an exercise. But could I add a skeleton for it? M= aybe something like this (but better using the copy-build-system):=20 There is a free software Raspberry VC firmware on https://github.com/librerpi/rpi-open-firmware/ (currently cannot handle gra= phics and USB and lots of other important things--but it DOES boot) and developme= nt is ongoing. We can just package that free software firmware and use it. I've already started packaging it for Guix. > (operating-system > (bootloader=20 > (bootloader-configuration > (bootloader (bootloader-chain > (list (file-append raspi-firmware "/boot/") > (file-append u-boot-rpi-3 "/libexec/u-boot.bin") > raspi-config.txt > raspi-u-boot-bootloader.txt > ;; Additional configurations to use. > (raspi-custom.txt '("disable_overscan=3D1" > "hdmi_force_hotplug=3D1" > "audio=3Don" > "dtoverlay=3Dgpio-ir" > "dtoverlay=3Ddisable-wifi" > "dtoverlay=3Dvc4-fkms-v3d,cm= a-64"))) > grub-efi-netboot-bootloader=20 > #:installer (install-grub-efi-netboot "efi/boot") > #:copy-files? #t)) I advice to add a user-level function for a free software Raspberry Pi 3 efi netboot bootloader to Guix (and a non-efi-netboot one, too, maybe). Something like (define (raspi-3-efi-netboot-bootloader efi-boot custom-text) (bootloader-chain like you do above custom-text)) I don't think that it's reasonable to expect the user to use bootloader-cha= in by himself (it's not user-friendly to have to do that). > The above bootloader-chain could certainly be added to Guix, but leaving = out the raspi-firmware and the raspi-custom.txt =E2=80=93 maybe as a functi= on to allow adding an own raspi-custom.txt. If someone copies the firmware = by hand onto an SD card, then such a bootloader provided as e.g. raspi-grub= -bootloader would work. Yeah. --Sig_/co7TdbWX5CKd2taXRS8M_6P Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl+yhiQACgkQ5xo1VCww uqUcCggAiBH7DhxnyUyyP/nPGRvC3H6t/VycxoiHbFlZtR1yY0YgM1LKvPYjs16K JheO1aVmL1CdZNKvqP5is9wU892zAQCK37gp/udHO+Kpigk4SRd+6mn++ITad4rI UN6RJklh7FqTU+VPj/S2tEUzHZdGRo8H/B3wZtzomU74/OsIKQt7E0GENpAqwBQO ZxMSOIO/r9llvS7WPIIWmaxKMT+e/YYy2YMmhkTuN4E1NwMFBQFYN1eAPm9JY30U vGst6a+O3YvEzey3/rVwW1PaOu4be/aLjgwPx92/bRX8Xhfi3IJ0/CiuBOPsHmyg /8P1mxeZuYpRUxN784gzA1+WdQlVCQ== =rdHF -----END PGP SIGNATURE----- --Sig_/co7TdbWX5CKd2taXRS8M_6P--