From unknown Wed Jun 18 23:12:37 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#44543 <44543@debbugs.gnu.org> To: bug#44543 <44543@debbugs.gnu.org> Subject: Status: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. Reply-To: bug#44543 <44543@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:12:37 +0000 retitle 44543 [PATCH] gnu: raspberry-pi: Add helpers for config.txt file ge= neration. reassign 44543 guix-patches submitter 44543 Stefan severity 44543 normal tag 44543 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 09 18:54:08 2020 Received: (at submit) by debbugs.gnu.org; 9 Nov 2020 23:54:08 +0000 Received: from localhost ([127.0.0.1]:35915 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kcGzA-0005ni-Ik for submit@debbugs.gnu.org; Mon, 09 Nov 2020 18:54:08 -0500 Received: from lists.gnu.org ([209.51.188.17]:38840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kcGz9-0005nb-A8 for submit@debbugs.gnu.org; Mon, 09 Nov 2020 18:54:07 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:36684) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcGz9-00008r-26 for guix-patches@gnu.org; Mon, 09 Nov 2020 18:54:07 -0500 Received: from vsmx011.vodafonemail.xion.oxcs.net ([153.92.174.89]:19881) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcGz6-0006zT-8r for guix-patches@gnu.org; Mon, 09 Nov 2020 18:54:06 -0500 Received: from vsmx003.vodafonemail.xion.oxcs.net (unknown [192.168.75.197]) by mta-5-out.mta.xion.oxcs.net (Postfix) with ESMTP id 2446759D954; Mon, 9 Nov 2020 23:53:58 +0000 (UTC) Received: from macbook-pro.kuh-wiese.my-router.de (unknown [88.70.113.160]) by mta-7-out.mta.xion.oxcs.net (Postfix) with ESMTPA id C2E97539A1C; Mon, 9 Nov 2020 23:53:53 +0000 (UTC) From: Stefan Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. Date: Tue, 10 Nov 2020 00:53:52 +0100 Message-Id: To: guix-patches@gnu.org Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-VADE-STATUS: LEGIT Received-SPF: pass client-ip=153.92.174.89; envelope-from=stefan-guix@vodafonemail.de; helo=vsmx011.vodafonemail.xion.oxcs.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/09 18:53:58 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x (no timestamps) [generic] [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Danny Milosavljevic 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: -2.3 (--) * gnu/packages/raspberry-pi.scm (raspi-config-file, raspi-custom.txt): New functions. (raspi-config.txt, raspi-u-boot-bootloader.txt, raspi-kernel.txt): New variables. --- gnu/packages/raspberry-pi.scm | 44 +++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/gnu/packages/raspberry-pi.scm = b/gnu/packages/raspberry-pi.scm index 7700c26d06..af3998c4d6 100644 --- a/gnu/packages/raspberry-pi.scm +++ b/gnu/packages/raspberry-pi.scm @@ -235,3 +235,47 @@ Raspberry Pi. Note: It does not work on Raspberry = Pi 1.") (install-file "arm64.bin" libexec) #t)))))))) (supported-systems '("aarch64-linux")))) + +(define-public (raspi-config-file name content) + "Creates a configuration file like config.txt for the Raspberry Pi = firmware. +CONTENT can be a list of strings, which are concatenated with a newline +character. Alternatively CONTENT can be a string with the full file = content." + (plain-file + name + (if (list? content) + (string-join content "\n" 'suffix) + content))) + +(define-public raspi-config.txt + ;; Creates a config.txt to start the ARM cores up in 64-bit mode if = necessary + ;; and to include bootloader.txt, kernel.txt, and a custom.txt, each = with + ;; separate configurations for the Raspberry Pi firmware. + (raspi-config-file + "config.txt" + `("# See = https://www.raspberrypi.org/documentation/configuration/config-txt/README.= md for details." + "" + ,(string-append "arm_64bit=3D" (if (target-aarch64?) "1" "0")) + "include bootloader.txt" + "include kernel.txt" + "include custom.txt"))) + +(define-public raspi-u-boot-bootloader.txt + ;; Creates a bootloader.txt file to be included by the config.txt to = load the + ;; U-Boot bootloader. + (raspi-config-file + "bootloader.txt" + "kernel=3Du-boot.bin")) + +(define-public raspi-kernel.txt + ;; Creates a kernel.txt to be included by the config.txt to ensure = that + ;; upstream kernel and device tree files can be used. + (raspi-config-file + "kernel.txt" + '("dtoverlay=3Dupstream" + "upstream_kernel=3D1"))) + +(define-public (raspi-custom.txt content) + "Creates a custom.txt to be included by the config.txt. CONTENT can = be a list +of strings, which are concatenated with a newline character. = Alternatively +CONTENT can be a string with the full file content." + (raspi-config-file "custom.txt" content)) --=20 2.26.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 16 04:32:48 2020 Received: (at submit) by debbugs.gnu.org; 16 Nov 2020 09:32:48 +0000 Received: from localhost ([127.0.0.1]:55075 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1keasR-0001nB-Sk for submit@debbugs.gnu.org; Mon, 16 Nov 2020 04:32:48 -0500 Received: from lists.gnu.org ([209.51.188.17]:47674) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1keasO-0001n2-GM for submit@debbugs.gnu.org; Mon, 16 Nov 2020 04:32:46 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:41424) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1keasO-0002DY-8R for guix-patches@gnu.org; Mon, 16 Nov 2020 04:32:44 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:37094) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1keasM-0007gt-7C for guix-patches@gnu.org; Mon, 16 Nov 2020 04:32:43 -0500 Received: from localhost (80-110-126-103.cgn.dynamic.surfer.at [80.110.126.103]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 5167A3363BA3; Mon, 16 Nov 2020 10:32:38 +0100 (CET) Date: Mon, 16 Nov 2020 10:32:31 +0100 From: Danny Milosavljevic To: Stefan Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. Message-ID: <20201116103231.2c151d33@scratchpost.org> In-Reply-To: References: 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_/oR.7zdSFI8SzE8MC1eqmVyj"; protocol="application/pgp-signature"; micalg=pgp-sha512 Received-SPF: none client-ip=85.13.145.193; envelope-from=dannym@scratchpost.org; helo=dd26836.kasserver.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/16 04:32:38 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: guix-patches@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: -3.3 (---) --Sig_/oR.7zdSFI8SzE8MC1eqmVyj Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable I'm waiting for Ludo to comment about the dots in the variable names. (Apparently, to be forward-compatible with literal pairs, dots in variable = names are not nice to use) It would be nice to also have some clients of that stuff in that file. I.e. actually boot the raspberry pi using some chainloader config. Otherwise it's hard to say whether this is a good API. When the API is act= ually used it's much easier to say. --Sig_/oR.7zdSFI8SzE8MC1eqmVyj Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl+yRy8ACgkQ5xo1VCww uqXT7wf/TQhQuQUSYu+ywUl1wBrm73SNrvX3nvkOMGpRjY9YBOZ094dPg0jGfl1X 2c3ZQaMEq96yPkqeJpE+GiJBPHIDGjqWOzMlGd2b+B0xLFSJuV0I9THb+y97S26v YGnk41cVyJtGafcxVaCRv+m4Np44qanyEV2HdIGUX7q0VRzabNN0Hds+aa2/Efn6 c/dN2Nmx86rat8mGv3gaOoSApBqaJGq8qLI+6QTzE/8XwpUBbINutBxmvKgf+smv N2PuipnMiX9x32FhCUjLnIMXKmk/08x3vlmS9gdhg6jzuZesBl8L7KYX2FOtYAqJ R0fsbNXweGIP7TCF76fzLQwnNnaA0Q== =vEjU -----END PGP SIGNATURE----- --Sig_/oR.7zdSFI8SzE8MC1eqmVyj-- From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 16 05:38:40 2020 Received: (at submit) by debbugs.gnu.org; 16 Nov 2020 10:38:40 +0000 Received: from localhost ([127.0.0.1]:55169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kebuC-0003PV-CP for submit@debbugs.gnu.org; Mon, 16 Nov 2020 05:38:40 -0500 Received: from lists.gnu.org ([209.51.188.17]:49574) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kebu7-0003PL-FG for submit@debbugs.gnu.org; Mon, 16 Nov 2020 05:38:39 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:33106) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kebu7-0004su-6h for guix-patches@gnu.org; Mon, 16 Nov 2020 05:38:35 -0500 Received: from mx009.vodafonemail.xion.oxcs.net ([153.92.174.39]:32514) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kebu3-0007Me-Uf for guix-patches@gnu.org; Mon, 16 Nov 2020 05:38:34 -0500 Received: from vsmx002.vodafonemail.xion.oxcs.net (unknown [192.168.75.192]) by mta-6-out.mta.xion.oxcs.net (Postfix) with ESMTP id 16373602D7E; Mon, 16 Nov 2020 10:38:25 +0000 (UTC) Received: from macbook-pro.kuh-wiese.my-router.de (unknown [145.254.41.84]) by mta-6-out.mta.xion.oxcs.net (Postfix) with ESMTPA id 7C17C6047B2; Mon, 16 Nov 2020 10:38:20 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: <20201116103231.2c151d33@scratchpost.org> Date: Mon, 16 Nov 2020 11:38:19 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> To: Danny Milosavljevic X-Mailer: Apple Mail (2.3124) X-VADE-STATUS: LEGIT Received-SPF: pass client-ip=153.92.174.39; envelope-from=stefan-guix@vodafonemail.de; helo=mx009.vodafonemail.xion.oxcs.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/16 05:38:25 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x (no timestamps) [generic] [fuzzy] X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: guix-patches@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: -2.3 (--) Hi Danny! > It would be nice to also have some clients of that stuff in that file. >=20 > I.e. actually boot the raspberry pi using some chainloader config. >=20 > Otherwise it's hard to say whether this is a good API. When the API = is actually > used it's much easier to say. There will be more patches to come, then there will be a use of these = functions. The firmware blob using these files can=E2=80=99t be handled by Guix, = this will have to be left as an exercise. But could I add a skeleton for = it? Maybe something like this (but better using the copy-build-system):=20= (define (raspi-firmware url version hash) (package (build-system trivial-build-system) (arguments '(#:modules ((guix build utils)) #:builder (begin (use-modules (guix build utils)) (let* ((source (assoc-ref %build-inputs "source")) (out (assoc-ref %outputs "out")) (boot (string-append out "/boot")) (opt (string-append out "/opt"))) (mkdir-p boot) (copy-recursively (string-append source "/boot") = boot) (delete-file (string-append boot "/kernel.img")) (delete-file (string-append boot "/kernel7.img")) (delete-file (string-append boot "/kernel7l.img")) (delete-file (string-append boot "/kernel8.img")) (mkdir-p opt) (copy-recursively (string-append source "/opt") opt) (delete-file-recursively (string-append opt = "/vc/src")) #t)))) =E2=80=A6)) Further steps will be some functionality to modify the U-Boot = configuration (done with Kconfig) and to have a specific U-Boot package. Then I=E2=80=99ll care for a kernel. The board will only boot if all of this is in place. This is how I use it all currently (left out kernel, kernel-arguments, = initrd-modules): (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,cma-64"))) grub-efi-netboot-bootloader=20 #:installer (install-grub-efi-netboot "efi/boot") #:copy-files? #t)) (theme (grub-theme (resolution=20 '(1920 . 1080)) (image (file-append %artwork-repository = "/grub/GuixSD-fully-black-16-9.svg")))) (target "/boot") (keyboard-layout keyboard-layout))) =E2=80=A6) 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 = function 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. Bye Stefan From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 16 09:01:14 2020 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 To: Stefan Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. 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-Debbugs-Envelope-To: 44543 Cc: 44543@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.7 (-) --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-- From debbugs-submit-bounces@debbugs.gnu.org Sun Nov 29 14:04:14 2020 Received: (at 44543) by debbugs.gnu.org; 29 Nov 2020 19:04:14 +0000 Received: from localhost ([127.0.0.1]:52626 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kjRza-0003pb-Ez for submit@debbugs.gnu.org; Sun, 29 Nov 2020 14:04:14 -0500 Received: from vsmx009.vodafonemail.xion.oxcs.net ([153.92.174.87]:43678) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kjRzY-0003pI-Rk for 44543@debbugs.gnu.org; Sun, 29 Nov 2020 14:04:13 -0500 Received: from vsmx001.vodafonemail.xion.oxcs.net (unknown [192.168.75.191]) by mta-5-out.mta.xion.oxcs.net (Postfix) with ESMTP id 7EC49159DBE6; Sun, 29 Nov 2020 19:04:06 +0000 (UTC) Received: from macbook-pro.kuh-wiese.my-router.de (unknown [88.70.113.247]) by mta-5-out.mta.xion.oxcs.net (Postfix) with ESMTPA id 1D518159D655; Sun, 29 Nov 2020 19:04:02 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: <20201116150108.26a2daa7@scratchpost.org> Date: Sun, 29 Nov 2020 20:04:00 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> To: Danny Milosavljevic X-Mailer: Apple Mail (2.3124) X-VADE-STATUS: LEGIT X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 Cc: 44543@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.7 (-) * gnu/packages/raspberry-pi.scm (raspi-config-file, raspi-custom-txt): New functions. (raspi-config-txt, raspi-bcm27-dtb-txt, raspi-bcm28-dtb-txt raspi-u-boot-bootloader-txt): New variables. --- gnu/packages/raspberry-pi.scm | 62 +++++++++++++++++++++++++++++++++++ 1 file changed, 62 insertions(+) diff --git a/gnu/packages/raspberry-pi.scm = b/gnu/packages/raspberry-pi.scm index cdea392fc7..b189ec2f4e 100644 --- a/gnu/packages/raspberry-pi.scm +++ b/gnu/packages/raspberry-pi.scm @@ -235,3 +235,65 @@ Raspberry Pi. Note: It does not work on Raspberry = Pi 1.") (install-file "arm64.bin" libexec) #t)))))))) (supported-systems '("aarch64-linux")))) + +(define-public (raspi-config-file name content) + "Create a configuration file like config.txt for the Raspberry Pi = firmware. +CONTENT can be a list of strings, which are concatenated with a newline +character. Alternatively CONTENT can be a string with the full file = content." + (plain-file + name + (if (list? content) + (string-join content "\n" 'suffix) + content))) + +(define-public (raspi-config-file name content) + "Create a configuration file like config.txt for the Raspberry Pi = firmware. +CONTENT can be a list of strings, which are concatenated with a newline +character. Alternatively CONTENT can be a string with the full file = content." + (plain-file + name + (if (list? content) + (string-join content "\n" 'suffix) + content))) + +(define-public raspi-config-txt + ;; Create a config.txt to start the ARM cores up in 64-bit mode if = necessary + ;; and to include a dtb.txt, bootloader.txt, and a custom.txt, each = with + ;; separated configurations for the Raspberry Pi firmware. + (raspi-config-file + "config.txt" + `("# See = https://www.raspberrypi.org/documentation/configuration/config-txt/README.= md for details." + "" + ,(string-append "arm_64bit=3D" (if (target-aarch64?) "1" "0")) + "include dtb.txt" + "include bootloader.txt" + "include custom.txt"))) + +(define-public raspi-bcm27-dtb-txt + ;; Create a dtb.txt to be included by the config.txt to ensure that = the + ;; downstream device tree files bcm27*.dtb will be used. + (raspi-config-file + "dtb.txt" + "upstream_kernel=3D0")) + +(define-public raspi-bcm28-dtb-txt + ;; Create a dtb.txt to be included by the config.txt to ensure that = the + ;; upstream device tree files bcm28*.dtb will be used. + ;; This also implies the use of the dtoverlay=3Dupstream. + (raspi-config-file + "dtb.txt" + "upstream_kernel=3D1")) + +(define-public raspi-u-boot-bootloader-txt + ;; Create a bootloader.txt file to be included by the config.txt to = load the + ;; U-Boot bootloader. + (raspi-config-file + "bootloader.txt" + '("dtoverlay=3Dupstream" + "kernel=3Du-boot.bin"))) + +(define-public (raspi-custom-txt content) + "Create a custom.txt for the Raspberry Pi firmware. +CONTENT can be a list of strings, which are concatenated with a newline +character. Alternatively CONTENT can be a string with the full file = content." + (raspi-config-file "custom.txt" content)) --=20 2.29.2 From debbugs-submit-bounces@debbugs.gnu.org Sun Dec 13 08:07:11 2020 Received: (at 44543) by debbugs.gnu.org; 13 Dec 2020 13:07:11 +0000 Received: from localhost ([127.0.0.1]:47695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1koR5j-0007YN-9k for submit@debbugs.gnu.org; Sun, 13 Dec 2020 08:07:11 -0500 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:44242) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1koR5g-0007Xo-Mh for 44543@debbugs.gnu.org; Sun, 13 Dec 2020 08:07:10 -0500 Received: from smtp.vodafone.de (unknown [10.2.0.33]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id 96CE5126FDF; Sun, 13 Dec 2020 14:07:01 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1607864821; bh=eadZjq0T/LW/a0InkmgaTytfCO2twCxbB5m4e6lXHaY=; h=Subject:From:In-Reply-To:Date:References:To; b=pe3Yjw3Fes2VSLF7BIixmAQEBOs2AyN+8MCl8+A78oSqgY5XUTSKO3wKhjHKOnmUR +n3ZppIlIDKv12B2Tfnp8t3iXmDnR0/D5FlP8gbLsKoWzMmb8rSrNQHoIluDnRrLYw x0Q9bp8taqrDEVSrZHRpOhU3RABqP5Ow8Q0V9Fr0= Received: from macbook-pro.kuh-wiese.my-router.de (dslb-002-202-077-025.002.202.pools.vodafone-ip.de [2.202.77.25]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 60542142590; Sun, 13 Dec 2020 13:07:01 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: Date: Sun, 13 Dec 2020 14:06:56 +0100 Content-Transfer-Encoding: 7bit Message-Id: <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> To: Danny Milosavljevic , 44543@debbugs.gnu.org X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 54 X-purgate-ID: 155817::1607864821-000007FA-FA3780DF/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 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.7 (-) Hi Danny! A friendly ping. :-) Bye Stefan From debbugs-submit-bounces@debbugs.gnu.org Mon Dec 28 14:24:28 2020 Received: (at 44543) by debbugs.gnu.org; 28 Dec 2020 19:24:28 +0000 Received: from localhost ([127.0.0.1]:36923 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kty83-0001zG-Ma for submit@debbugs.gnu.org; Mon, 28 Dec 2020 14:24:27 -0500 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:54686) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kty81-0001z2-Ht for 44543@debbugs.gnu.org; Mon, 28 Dec 2020 14:24:26 -0500 Received: from smtp.vodafone.de (unknown [10.2.0.36]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id EAD851219E0; Mon, 28 Dec 2020 20:24:19 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1609183459; bh=qAvH8KpL3p+DYjYTlRwDka3C1AUSjWVUq3IFlLTrimE=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=L1rXLvmjxm+CqIWr0FNw91qWPPlmL+TyvqAD3nI64j9wR0JeWGs+f8Yb+WDk1zl03 bmpcmJMuIfxjlX4AQ1CzrgtDzxnX/icsO6J8oZkxOkTaLZNLTxljiaU3F1EUadrKZm RWbivkI7snm1UycSq70AN2gIJbGGmNVzyRnmS/fs= Received: from macbook-pro.kuh-wiese.my-router.de (dialin-145-254-041-118.pools.arcor-ip.net [145.254.41.118]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id C3696140259; Mon, 28 Dec 2020 19:24:19 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> Date: Mon, 28 Dec 2020 20:24:19 +0100 Content-Transfer-Encoding: 7bit Message-Id: References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> To: Danny Milosavljevic , 44543@debbugs.gnu.org X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 48 X-purgate-ID: 155817::1609183459-000048A3-AF706AD0/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 Cc: Mathieu Othacehe 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.7 (-) Hi! A friendly ping! :-) Bye Stefan From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 12:40:40 2021 Received: (at 44543) by debbugs.gnu.org; 27 Mar 2021 16:40:40 +0000 Received: from localhost ([127.0.0.1]:44766 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQBzL-0000gr-PA for submit@debbugs.gnu.org; Sat, 27 Mar 2021 12:40:39 -0400 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:50578) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQBzH-0000gZ-GM for 44543@debbugs.gnu.org; Sat, 27 Mar 2021 12:40:37 -0400 Received: from smtp.vodafone.de (smtpa06.fra-mediabeam.com [10.2.0.37]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id 1392A120B5B; Sat, 27 Mar 2021 17:40:30 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1616863230; bh=/5Z2rtDtIlNi5CXJX1/F4TtG7MXYesNugQqR3KB7lbo=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=kZs2muBC3ioH7gjlyZAIozYRRJ/uUZ/DD+Z8o54d6Nca26CDHJ9wmawsed6+IIjH/ v0fohYJS+vPy2HB4v6M6cepH3Ss4+hAn5mBrq31dBaiv7uaXpciIfWEQf6mXqgPbT/ vtvU90KneW9SCye8mRsJqNxXsKJLGqwIdijD099Q= Received: from macbook-pro.kuh-wiese.my-router.de (dslb-178-005-077-213.178.005.pools.vodafone-ip.de [178.5.77.213]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 350FC140253; Sat, 27 Mar 2021 16:40:28 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: Date: Sat, 27 Mar 2021 17:40:27 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> To: Danny Milosavljevic , 44543@debbugs.gnu.org X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 172 X-purgate-ID: 155817::1616863229-000001A5-603D5939/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 Cc: Mathieu Othacehe 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.7 (-) Hi! Another friendly ping! This patch is meanwhile really getting old, but = it is still not forgotten. :-) Bye Stefan From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 12:47:32 2021 Received: (at 44543) by debbugs.gnu.org; 27 Mar 2021 16:47:32 +0000 Received: from localhost ([127.0.0.1]:44772 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQC60-0000s6-HV for submit@debbugs.gnu.org; Sat, 27 Mar 2021 12:47:32 -0400 Received: from mail.zaclys.net ([178.33.93.72]:55409) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQC5x-0000rr-Gd for 44543@debbugs.gnu.org; Sat, 27 Mar 2021 12:47:30 -0400 Received: from guix-xps.local (82-64-145-38.subs.proxad.net [82.64.145.38]) (authenticated bits=0) by mail.zaclys.net (8.14.7/8.14.7) with ESMTP id 12RGlLH5010773 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Sat, 27 Mar 2021 17:47:22 +0100 DMARC-Filter: OpenDMARC Filter v1.3.2 mail.zaclys.net 12RGlLH5010773 Authentication-Results: mail.zaclys.net; dmarc=fail (p=reject dis=none) header.from=zaclys.net Authentication-Results: mail.zaclys.net; spf=fail smtp.mailfrom=lle-bout@zaclys.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=zaclys.net; s=default; t=1616863643; bh=xUCnw1BRxBQ9p9PTgbL9yKwnCqlHGH+EBj54RQ43+24=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=ebQJ62nIjiAYOdltYQIO+5nl9F72mv18Z90oamRLCcf0MbZ1JR7+SGS+npEvIW1Bm tcsWSBU5a7hwQIDcveDhWqam7HtpJmZ0tF+4xwL6wy3a+cgx9J8VtpQwMaJItqTFEX KeeVSspLj49uHMjuYr0GlBXTd1S+5of6M/s02JJc= Message-ID: Subject: Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: =?ISO-8859-1?Q?L=E9o?= Le Bouter To: Stefan , Danny Milosavljevic , 44543@debbugs.gnu.org Date: Sat, 27 Mar 2021 17:47:14 +0100 In-Reply-To: References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-AK/vYwAc6W8TLevk3NCb" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 44543 Cc: Mathieu Othacehe 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 (-) --=-AK/vYwAc6W8TLevk3NCb Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Sat, 2021-03-27 at 17:40 +0100, Stefan wrote: > Hi! >=20 > Another friendly ping! This patch is meanwhile really getting old, > but it is still not forgotten. :-) >=20 > >=20 >=20 > Bye >=20 > Stefan I have a Raspberry Pi 3B+ here at home, how can I test these changes? I don't feel capable to review this without testing something as a whole verifying that it works then inspecting these things that make it work. Thank you --=-AK/vYwAc6W8TLevk3NCb Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFIvLi9gL+xax3g6RRaix6GvNEKYFAmBfYZIACgkQRaix6GvN EKaP2Q/9EEV2yFShNHVbIIJyZy8hLZDk1EK98ZkQbHX2xuCuWtePFkIcnyNiED2d +By+CwvUFHiwx82X+z4ndVM7Ea0sdY3cmSpu7PcErEyN7M2KSQum78n5rHeXO5vV yXdSasS/9RJ7hSjSybLz2Hn1tE1l1AO9iCovr04RvvYS+6tLfOA2oB2zC900S6x4 YovrUXSeiadQO22ty5QeCSCwqgtHKyTiKsGGitbMUZ15pxCe5sUjvcu0SDdrRQBc q7P9nX+z/HWHe5WFnvnUZduxOKwl4mlAkFksf6t8vaGD0QEpATikWsM+6rSEAoXn 5FElHAaLjG9KSan3GLtEp2v8M8AF/MNlaVFMQkm8S8747AO4uOvP74106RW8WLy2 mn0llGY6iIELnXdyBEqs+7J5PuphZdB26070/76wPXfHXMrRnGfX12MQ2p68aomA X/AxZT9kc+wUA+nqF8tggtYLmWAD9FGgNVra2T3VWy2ByLBt+DVYjLkx/DEKXWP3 UDsGGk7/UfNaur7OxiEtZr1KLjbigfMq4NI+y/aM5H6oEkbUUJ7K8TrzpPXaOkOH BDYd3G1K9jasKssVKGcfgoOCII97O0sdwyJMfgg1qpdmt+e88RGfZF1YIPAriz8V lo66ckEK/pzDd+m5N2qhXRcyxnrtwHJ+Mh50vT7xCvMPPSyWdcc= =Xd6/ -----END PGP SIGNATURE----- --=-AK/vYwAc6W8TLevk3NCb-- From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 15:43:15 2021 Received: (at 44543) by debbugs.gnu.org; 27 Mar 2021 19:43:15 +0000 Received: from localhost ([127.0.0.1]:44974 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQEq3-0005DH-Fw for submit@debbugs.gnu.org; Sat, 27 Mar 2021 15:43:15 -0400 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:52398) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQEpy-0005D1-Ep for 44543@debbugs.gnu.org; Sat, 27 Mar 2021 15:43:14 -0400 Received: from smtp.vodafone.de (smtpa04.fra-mediabeam.com [10.2.0.35]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id CBC8C1216CD; Sat, 27 Mar 2021 20:43:04 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1616874184; bh=lnd8embVbKXUVcJMQhJhAds1GtYr0SOEOPt/KySSNdo=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=qtJGXRSioTvk1JaJTfcREHOlEc5CHlCIzicMP4ElRFFP99dw9tjm2YZdk9Kndu8pe AA/cPLn8jxu3gbLluC4jG3u3cxM4S0vgpHCuu0jfo2NKnXbKYOa5QVf78CT4d0YKk6 Ms9pyYpftf1AK42LBXlhJvQr69J5h400hljH9IJQ= Received: from macbook-pro.kuh-wiese.my-router.de (dslb-178-005-077-213.178.005.pools.vodafone-ip.de [178.5.77.213]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 8C463140181; Sat, 27 Mar 2021 19:43:03 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: Date: Sat, 27 Mar 2021 20:43:02 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <9537F85E-03CA-4784-85BD-0637C7A16F31@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> To: =?utf-8?Q?L=C3=A9o_Le_Bouter?= X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 4054 X-purgate-ID: 155817::1616874184-00004492-BA025782/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 Cc: Danny Milosavljevic , 44543@debbugs.gnu.org, Mathieu Othacehe 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.7 (-) Hi L=C3=A9o! > I have a Raspberry Pi 3B+ here at home, how can I test these changes? >=20 > I don't feel capable to review this without testing something as a > whole verifying that it works then inspecting these things that make = it > work. The support for the Raspberry is still not complete. I=E2=80=99m using = mine without an SD card, booting it over TFTP with an NFS root mount. Installing on an SD card is not tested and certainly not working yet. One of my next patches will be several u-boot packages for different = Raspberry models. To build them I need to do changes to the defconfig = file of u-boot. Therefore another ticket is pending, which eases = defconfig modifications (, and I hope = this can also be used to modify Linux). When that one is done, then I = will send that next patch to add the u-boot packages.=20 My bootloader currently looks like this, but I=E2=80=99m using already = further modifications, mainly for GRUB, so this will not work for you, = but you can get an impression of the final intended use of all patches: (bootloader (bootloader-configuration (target "/boot") (bootloader (efi-bootloader-chain grub-efi-netboot-removable-bootloader ;; Packages needed to boot the Raspberry. #:packages (list raspberrypi-firmware=20 u-boot-rpi-efi-64) ;; Additional files for configuration. #:files (list ;; Detects 32 or 64 bit, includes other = txt files. raspi-config-txt ;; Use the downstream device tree = (upstream is bcm28). raspi-bcm27-dtb-txt ;; This is the next boot stage. raspi-u-boot-bootloader-txt=20 ;; 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,cma-64"))))))) Your bootloader configuration would need to look like this, and you may = get it running from an SD card: (bootloader (bootloader-configuration (target "/boot") (bootloader (efi-bootloader-chain (list (file-append firmware "/boot/") (file-append u-boot-my-scb "/libexec/u-boot.bin") raspi-config-txt raspi-bcm27-dtb-txt raspi-u-boot-bootloader-txt) grub-efi-netboot-bootloader #:installer (chain-efi-bootloader-installer (install-grub-efi-netboot = "efi/boot"))))) So you need to provide firmware and u-boot (still) yourself. As a short = cut you may omit both (file-append =E2=80=A6) functions and copy both = parts by hand from some other distribution, maybe openSUSE =E2=80=93 = this is basically how I got started. If you mount an ext4-partition of an SD card to e.g. /my-target/ and the = FAT partition to /my-target/boot, then you may try a =E2=80=98guix = system init =E2=80=A6 /my-target=E2=80=99. If this succeeds, then it may be possible that adding the file = /my-target/boot/efi/boot/grub.cfg with this content gets you to a system = booting from an SD card: search --file /boot/grub/grub.cfg configfile /boot/grub/grub.cfg But this is all untested, it certainly fails. :-) At least =E2=80=93 regarding this patch =E2=80=93 I can ensure that the = three config files as used in these bootloader examples are properly = generated working. =20 Bye Stefan= From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 15:51:24 2021 Received: (at 44543) by debbugs.gnu.org; 27 Mar 2021 19:51:24 +0000 Received: from localhost ([127.0.0.1]:44988 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQExv-0005Py-VI for submit@debbugs.gnu.org; Sat, 27 Mar 2021 15:51:24 -0400 Received: from mail.zaclys.net ([178.33.93.72]:45435) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQExu-0005Pk-5t for 44543@debbugs.gnu.org; Sat, 27 Mar 2021 15:51:23 -0400 Received: from guix-xps.local (82-64-145-38.subs.proxad.net [82.64.145.38]) (authenticated bits=0) by mail.zaclys.net (8.14.7/8.14.7) with ESMTP id 12RJpEZJ022689 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Sat, 27 Mar 2021 20:51:15 +0100 DMARC-Filter: OpenDMARC Filter v1.3.2 mail.zaclys.net 12RJpEZJ022689 Authentication-Results: mail.zaclys.net; dmarc=fail (p=reject dis=none) header.from=zaclys.net Authentication-Results: mail.zaclys.net; spf=fail smtp.mailfrom=lle-bout@zaclys.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=zaclys.net; s=default; t=1616874675; bh=4KXizpEeOpJIEPNh+wr8ydcGkmGh9apNIHJLjC6Wsqc=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=SpBx7izw6mkPcFZdDKxHknglnqGYDug6vMeazxWShd+B7KqdEoeMyF0cso5J8RMEi zCQGW/oK4PmQBVO2o5OapKu1k9KOHNQj5n9yUVb9SVWue0mju8v0mJFQcKdHZCj5oR Qrr+EJQLnRKBvTKFe44+1pCWcyecobnr4AB+Us5k= Message-ID: <832c926ec211cab21f63ed9578c67662db7426cf.camel@zaclys.net> Subject: Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: =?ISO-8859-1?Q?L=E9o?= Le Bouter To: Stefan Date: Sat, 27 Mar 2021 20:51:10 +0100 In-Reply-To: <9537F85E-03CA-4784-85BD-0637C7A16F31@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> <9537F85E-03CA-4784-85BD-0637C7A16F31@vodafonemail.de> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-t0S7vgPZz8+IoMTaxlj1" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 44543 Cc: Danny Milosavljevic , 44543@debbugs.gnu.org, Mathieu Othacehe 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 (-) --=-t0S7vgPZz8+IoMTaxlj1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Sat, 2021-03-27 at 20:43 +0100, Stefan wrote: > Hi L=C3=A9o! >=20 > > I have a Raspberry Pi 3B+ here at home, how can I test these > > changes? > >=20 > > I don't feel capable to review this without testing something as a > > whole verifying that it works then inspecting these things that > > make it > > work. >=20 > The support for the Raspberry is still not complete. I=E2=80=99m using mi= ne > without an SD card, booting it over TFTP with an NFS root mount. >=20 > Installing on an SD card is not tested and certainly not working yet. >=20 > One of my next patches will be several u-boot packages for different > Raspberry models. To build them I need to do changes to the defconfig > file of u-boot. Therefore another ticket is pending, which eases > defconfig modifications (;, and I > hope this can also be used to modify Linux). When that one is done, > then I will send that next patch to add the u-boot packages.=20 >=20 > My bootloader currently looks like this, but I=E2=80=99m using already > further modifications, mainly for GRUB, so this will not work for > you, but you can get an impression of the final intended use of all > patches: >=20 > (bootloader > (bootloader-configuration > (target "/boot") > (bootloader (efi-bootloader-chain > grub-efi-netboot-removable-bootloader > ;; Packages needed to boot the Raspberry. > #:packages (list raspberrypi-firmware=20 > u-boot-rpi-efi-64) > ;; Additional files for configuration. > #:files (list ;; Detects 32 or 64 bit, includes > other txt files. > raspi-config-txt > ;; Use the downstream device tree > (upstream is bcm28). > raspi-bcm27-dtb-txt > ;; This is the next boot stage. > raspi-u-boot-bootloader-txt=20 > ;; Additional configurations to use. > (raspi-custom-txt > '("disable_overscan=3D1" > "hdmi_force_hotp > lug=3D1" > "audio=3Don" > "dtoverlay=3Dgpio- > ir" > "dtoverlay=3Ddisab > le-wifi" > "dtoverlay=3Dvc4- > fkms-v3d,cma-64"))))))) >=20 > Your bootloader configuration would need to look like this, and you > may get it running from an SD card: >=20 > (bootloader > (bootloader-configuration > (target "/boot") > (bootloader > (efi-bootloader-chain > (list (file-append firmware "/boot/") > (file-append u-boot-my-scb "/libexec/u-boot.bin") > raspi-config-txt > raspi-bcm27-dtb-txt > raspi-u-boot-bootloader-txt) > grub-efi-netboot-bootloader > #:installer > (chain-efi-bootloader-installer (install-grub-efi-netboot > "efi/boot"))))) >=20 > So you need to provide firmware and u-boot (still) yourself. As a > short cut you may omit both (file-append =E2=80=A6) functions and copy bo= th > parts by hand from some other distribution, maybe openSUSE =E2=80=93 this= is > basically how I got started. >=20 > If you mount an ext4-partition of an SD card to e.g. /my-target/ and > the FAT partition to /my-target/boot, then you may try a =E2=80=98guix sy= stem > init =E2=80=A6 /my-target=E2=80=99. >=20 > If this succeeds, then it may be possible that adding the file /my- > target/boot/efi/boot/grub.cfg with this content gets you to a system > booting from an SD card: >=20 > search --file /boot/grub/grub.cfg > configfile /boot/grub/grub.cfg >=20 > But this is all untested, it certainly fails. :-) >=20 > At least =E2=80=93 regarding this patch =E2=80=93 I can ensure that the t= hree config > files as used in these bootloader examples are properly generated > working. > =20 >=20 > Bye >=20 > Stefan Thanks for all your work! I would prefer if you opened one single bug with all the changes so I can test the whole thing, right now I don't feel at ease reviewing things like this. How can I be sure what you are submitting is the right abstraction for your future work? Are you sure that abstraction will be right for your future patches? If anything needs to be changed I feel like one big patchset about Raspberry Pi 3B+ support will be easier to review (at least for me). L=C3=A9o --=-t0S7vgPZz8+IoMTaxlj1 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFIvLi9gL+xax3g6RRaix6GvNEKYFAmBfjK4ACgkQRaix6GvN EKYRrhAAwCnV8/8CKFE94E6zwc2yrhzIfI1omr1FUCtbEKFGHeQZ66AB8J8CA5Vn BQ49D2gMKMXu7+VNbnjMyI332xeyctT3HOQqdAby/PasR3RbBGQB1J5fHhZUNZ9l VkTYLAXQrYax6goSJeIuvo9ApHYnlZ+k0Q/OIxNAvQkv9VnnlRqhFneKCJo/yfA9 hiYLKc6SM6fIkOdyb6GU2p0tFIa6F5pirjJzxViMjA4ONRtZ8xGDiC7gHYpqfINi ugcehRLOREbvCGtQMTidS1Zs6XILv4JI8vXBxPbkLbYAzSEXyMbeJpb+v16k4Aj0 7Jjbiy+7l3HPmZzQxsMv7c/QYfkj+l2TYm0ifHBesn06Yzzwfl2OhIxpa/KqQxke fH+5eh5xJ0u/uLJB1gA9khS3NcyW7MWBxj4VSU34E63KIUtY+fjkQlXijJVN+jDb gBx5vTvpc6V+/ho0x4GQp7OKE1vfCwklEsPdNhCyT9TT6lueAVYBXQFr4IMkT/DL skAr4WTBQ4xEjjDUtpdGBDwi0xwg/DonGUuZcWdHRFqRknVtwbHTQgft98Y8dWo1 Ru9Aa4yB/X9yu03jrgIo9uX7fielfZ7V/h9To66Azl7piF6ePwgfnXhqiJxH8uxD LuGKNanxVjZo+SaWhAeJlK/48Iq/4HcYPeED4CEb6bC6+2PV29Q= =KcUY -----END PGP SIGNATURE----- --=-t0S7vgPZz8+IoMTaxlj1-- From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 18:03:27 2021 Received: (at 44543) by debbugs.gnu.org; 27 Mar 2021 22:03:27 +0000 Received: from localhost ([127.0.0.1]:45110 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQH1i-0002eM-Uw for submit@debbugs.gnu.org; Sat, 27 Mar 2021 18:03:27 -0400 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:33898) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQH1f-0002e9-RF for 44543@debbugs.gnu.org; Sat, 27 Mar 2021 18:03:26 -0400 Received: from smtp.vodafone.de (smtpa04.fra-mediabeam.com [10.2.0.35]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id 6CF0C120CEF; Sat, 27 Mar 2021 23:03:18 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1616882598; bh=vWs2JAuIUQGRE8PW4hZHSk7ZXRoAmeIwmmKRuA4IPQ0=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=NPedW1hXvEu+ft0NqosZ5xYamHBerX/M5/NPMOoYJI4f9vSoSnMFkHdKZ5Gmo6bN4 P1f1EbAFEOc7WX59SgB7W1u71bqKcR3MXusE2qzGblyDIu9tFFp4YYIMq2d5hGmwza sxgdagdAVrhzovhHHQiiwpBM+hTh2oEwt6+h/XJA= Received: from macbook-pro.kuh-wiese.my-router.de (ipservice-092-218-117-078.092.218.pools.vodafone-ip.de [92.218.117.78]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id C0BFD14017C; Sat, 27 Mar 2021 22:03:15 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: <832c926ec211cab21f63ed9578c67662db7426cf.camel@zaclys.net> Date: Sat, 27 Mar 2021 23:03:15 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <067A8489-6150-4632-878C-BB239B1674FD@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> <9537F85E-03CA-4784-85BD-0637C7A16F31@vodafonemail.de> <832c926ec211cab21f63ed9578c67662db7426cf.camel@zaclys.net> To: =?utf-8?Q?L=C3=A9o_Le_Bouter?= X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 2903 X-purgate-ID: 155817::1616882596-00004492-1A99838C/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543 Cc: Danny Milosavljevic , 44543@debbugs.gnu.org, Mathieu Othacehe 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.7 (-) Hi L=C3=A9o! > I would prefer if you opened one single bug with all the changes so I > can test the whole thing, right now I don't feel at ease reviewing > things like this. I see. I=E2=80=99m doing little steps, sending patches for the parts = which I think are ready. > How can I be sure what you are submitting is the > right abstraction for your future work? True. In this case you only have the bootloader examples that I gave. This patch is just a building block to generate some config.txt in a = modular and comfortable way. There is a bootloader installer copying any = listed file-like-object. Who knows, in future there might be a TianoCore bootloader, then a = similar patch might be required to provide a = raspi-tianocore-bootloader-txt. > Are you sure that abstraction > will be right for your future patches? Yes. There are basically three decisions to take for a Guix System: 32 = or 64 bit, which device tree (depends on the linux kernel), which = bootloader. Beyond this anything is a custom setting.=20 > If anything needs to be changed > I feel like one big patchset about Raspberry Pi 3B+ support will be > easier to review (at least for me). I see, this is not yet testable for you out of the box to boot a system. What is testable right now is an incomplete bootloader. At least it is = possible to inspect what files will be generated by this patch and = copied into /boot. It must even be buildable for x86_64. (bootloader (bootloader-configuration (target "/boot") (bootloader (efi-bootloader-chain (list raspi-config-txt raspi-bcm27-dtb-txt raspi-u-boot-bootloader-txt) grub-efi-netboot-bootloader #:installer (chain-efi-bootloader-installer (install-grub-efi-netboot = "efi/boot"))))) Bye Stefan P.S. If you change your mind and want to test that bootloader, then you = should know that GRUB depends on qemu and unfortunately qemu is failing = its test on aarch64 since some months. Then this patch may help you get = going.=20 diff --git a/gnu/packages/virtualization.scm = b/gnu/packages/virtualization.scm index 2262aa6197..3732320df8 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -161,8 +161,9 @@ (arguments `(;; FIXME: Disable tests on i686 to work around ;; . - #:tests? ,(or (%current-target-system) - (not (string=3D? "i686-linux" (%current-system)))) + #:tests? ,(and (not (target-aarch64?)) + (or (%current-target-system) + (not (string=3D? "i686-linux" = (%current-system))))) =20 #:configure-flags (list "--enable-usb-redir" "--enable-opengl" "--enable-docs" From debbugs-submit-bounces@debbugs.gnu.org Thu May 06 17:12:30 2021 Received: (at 44543-done) by debbugs.gnu.org; 6 May 2021 21:12:30 +0000 Received: from localhost ([127.0.0.1]:39733 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lelIM-0008IJ-85 for submit@debbugs.gnu.org; Thu, 06 May 2021 17:12:30 -0400 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:36914) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lelIK-0008IB-8S for 44543-done@debbugs.gnu.org; Thu, 06 May 2021 17:12:29 -0400 Received: from smtp.vodafone.de (smtpa05.fra-mediabeam.com [10.2.0.36]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id C69C7120693; Thu, 6 May 2021 23:12:21 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1620335541; bh=uTFPlj1MDTSqst9pdHSP+0yqPRgF+ug1A4NpfUpI2QE=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=l+AKMONy2PBvNxZRjoTbWMY98oFwKwE80aiB1syvOOTTPYpsPaGplv1bBb+fkJCdh oqm7zmm6heWCgAZ9yEv7OdZczkFC3bpZnrEUbK55eggWrp7fqs0WyKz/7xjyB3Zswt FI2RrM2NwlULv8w/gKZzCJNspxLlcmlXax0E28rA= Received: from macbook-pro.kuh-wiese.my-router.de (dslb-002-201-117-003.002.201.pools.vodafone-ip.de [2.201.117.3]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 42AD5140193; Thu, 6 May 2021 21:12:21 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Subject: Re: [bug#44543] [PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation. From: Stefan In-Reply-To: <067A8489-6150-4632-878C-BB239B1674FD@vodafonemail.de> Date: Thu, 6 May 2021 23:12:20 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: <86AB64B2-613D-49F9-8985-50766CB1DCF9@vodafonemail.de> References: <20201116103231.2c151d33@scratchpost.org> <6C52CE60-8585-4FC4-BCBC-B901CB75B35F@vodafonemail.de> <20201116150108.26a2daa7@scratchpost.org> <422D2441-7132-4983-9EFF-E6C87120CCCB@vodafonemail.de> <9537F85E-03CA-4784-85BD-0637C7A16F31@vodafonemail.de> <832c926ec211cab21f63ed9578c67662db7426cf.camel@zaclys.net> <067A8489-6150-4632-878C-BB239B1674FD@vodafonemail.de> To: 44543-done@debbugs.gnu.org X-Mailer: Apple Mail (2.3124) X-purgate-type: clean X-purgate-Ad: Categorized by eleven eXpurgate (R) http://www.eleven.de X-purgate: This mail is considered clean (visit http://www.eleven.de for further information) X-purgate: clean X-purgate-size: 134 X-purgate-ID: 155817::1620335541-00000827-CCDC03BA/0/0 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 44543-done Cc: Danny Milosavljevic , =?utf-8?Q?L=C3=A9o_Le_Bouter?= , Mathieu Othacehe 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.7 (-) Hi! I=E2=80=99m closing this ticket. There will be a new patch series which = will also contain this change. Bye Stefan= From unknown Wed Jun 18 23:12:37 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 04 Jun 2021 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator