From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 0EdYNQFSzmARBwAAgWs5BA (envelope-from ) for ; Sat, 19 Jun 2021 22:22:25 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id QHYEMQFSzmDjVgAA1q6Kng (envelope-from ) for ; Sat, 19 Jun 2021 20:22:25 +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 5B0B725783 for ; Sat, 19 Jun 2021 22:22:25 +0200 (CEST) Received: from localhost ([::1]:55454 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1luhTz-0008Vg-Is for larch@yhetil.org; Sat, 19 Jun 2021 16:22:23 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47950) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luhTe-0008VF-Et for guix-patches@gnu.org; Sat, 19 Jun 2021 16:22:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:49323) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1luhTe-0007Ut-7F for guix-patches@gnu.org; Sat, 19 Jun 2021 16:22:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1luhTe-00012y-0F for guix-patches@gnu.org; Sat, 19 Jun 2021 16:22:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#48314] Patches to install guix system on Raspberry Pi Resent-From: Stefan Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Jun 2021 20:22:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 48314 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: Danny Milosavljevic Cc: Mark H Weaver , Leo Famulari , 48314@debbugs.gnu.org Received: via spool by 48314-submit@debbugs.gnu.org id=B48314.16241341204015 (code B ref 48314); Sat, 19 Jun 2021 20:22:01 +0000 Received: (at 48314) by debbugs.gnu.org; 19 Jun 2021 20:22:00 +0000 Received: from localhost ([127.0.0.1]:60869 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luhTc-00012h-83 for submit@debbugs.gnu.org; Sat, 19 Jun 2021 16:22:00 -0400 Received: from smtpout2.vodafonemail.de ([145.253.239.133]:36966) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luhTY-00012R-9n for 48314@debbugs.gnu.org; Sat, 19 Jun 2021 16:21:58 -0400 Received: from smtp.vodafone.de (smtpa08.fra-mediabeam.com [10.2.0.39]) by smtpout2.vodafonemail.de (Postfix) with ESMTP id 84809122634; Sat, 19 Jun 2021 22:21:49 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-smtpout-mb-15sep; t=1624134109; bh=VVo5vl+MNCaSaGEXEX14Lk/QUJS/ugQdht5XcdraNU4=; h=From:Subject:Date:References:Cc:In-Reply-To:To; b=EcoDqArbMZ7cQhGREh+47uqRey2kazCnL9RQwiENlQRU2/ia3s9j9JqenigTq+41w UY18NPTFKh0TYTLNxcFIRuKwexlXBsA8SgPf8qnyTvA2Ps8t9CTr0pL3wsGtN1lr6h PkQhqZbo0XjwDwi3JhqT/BWqng6T3KpCufYkFFyY= Received: from smtpclient.apple (ipservice-092-212-012-132.092.212.pools.vodafone-ip.de [92.212.12.132]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 98E6B140195; Sat, 19 Jun 2021 20:21:48 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Stefan Mime-Version: 1.0 (1.0) Date: Sat, 19 Jun 2021 22:21:48 +0200 Message-Id: <897B7FF7-24C1-4B96-8441-415596267E99@vodafonemail.de> References: <20210619211026.5eb44073@scratchpost.org> In-Reply-To: <20210619211026.5eb44073@scratchpost.org> X-Mailer: iPhone Mail (18F72) 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: 2326 X-purgate-ID: 155817::1624134109-000006F1-2A6E2F08/0/0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624134145; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=VVo5vl+MNCaSaGEXEX14Lk/QUJS/ugQdht5XcdraNU4=; b=UTEgR6msZPpuxRlKNUjVvOdZ0VRmwj56/BEWhCkiUS0nvxeBvhJl06rxI8SCvrZr5DftXD iI1WkE64ilstSz3azsCvszGf9x46ClD7QxR4LW+WcGAV4XJVhAfL3V8KootkL/4c+HW7CX SZMYR/bIEJPyX9gogM7AvAqZHewK0JZQllfXfYenWS4JT6AiPb8CzPBhSffNdUCGYGaufV jQHMdTia8IeYsJ0PhZXUv3LPT3vLdhX8so0UIIuo7kn6WQw+Y1hEsWybtSy5WVxkl7XEbS NnlWq4YaaUIXw99BxpXx+pJZNVNMsgIRqwNoOkS974OQixtNy65PGs6WapITXQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624134145; a=rsa-sha256; cv=none; b=CbGqtDifSYKGcvw1x7p1nRfVTteaHWKA/Sx6GS4wJYVMh/IiLYhQ6jmwuZFUOusYQSdcTj 5sDExvVsRJZ7y1OJU2biEwPFq5GG5NtUbRPKVfKRtALnOoxMfakmUBXudjAARvXPh4zaUM P/Ic1O06eFGHaxVUfJF9bc46wiiL74NGfO0+PnD3+LUNvrqjzZAMLpHIsio3VW0dQfIyTc 64mair1KpAhjt8asMcFk2o18UbrEhJ2PFqaMpjoG2EKsxeXBJZShIwVkKSZeu8TkeLTkm6 GKDKsHa+7IJR+ccGNFTqMIxC13ceTfKQUJGhjMPicoJkTk62gSOV1WFklS5lTA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=vodafonemail.de header.s=vfde-smtpout-mb-15sep header.b=EcoDqArb; 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-Migadu-Spam-Score: -0.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=vodafonemail.de header.s=vfde-smtpout-mb-15sep header.b=EcoDqArb; 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-Migadu-Queue-Id: 5B0B725783 X-Spam-Score: -0.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: WXf3nqlTJoij Hi! > @Stefan: On the other hand, I'm not sure of the general utility of make-de= fconfig. There is currently no simple way change the Linux configuration. Also by mod= ifying the final .config as of today (which kind of contains all CONFIG_=E2=80= =A6-variables), as far as I know dependencies will not be resolved and confl= icting configurations can easily happen. A defconfig however gets striped down to a minimum of required CONFIG_=E2=80= =A6-variables and all =E2=80=9Cmissing=E2=80=9D ones get either default valu= es or get determined through dependecies. So adding /removing/changing some f= ew configurations to a defconfig is less error-prone. Further defconfig file= s are easier to maintain in git. There is a reason that only defconfig files= are maintained in the Linux sources. Please note that the patch allows to select a defconfig file from the Linux s= ources (if the parameter is a string), and also to provide an own defconfig f= ile (if it is a file-like object). > Sounds like a too weird special case to have general utility. Well, there is the need already in Guix to have e.g. the predefined linux-li= bre-arm64-generic kernel, wich just uses a certain defconfig file from the L= inux sources. But this possibility is not exported. There are many defconfig files for all sorts of boards, especially for arm32= . Why shouldn=E2=80=99t we allow to use any of these? Why should users be re= strict to =E2=80=9Cselected=E2=80=9D configurations? Why should Guix=E2=80=99= kernel configuration be preferred over the plain x86_64_defconfig? And take a look at the last patch: In order to make that kernel boot on a Ra= spberry from an NFS root, some few configurations are missing, which can eas= ily be added with the =E2=80=9Cmodify-linux=E2=80=9D function. By the way, m= aybe =E2=80=9Ccustomize-linux=E2=80=9D would be a better name. And there is another patch from me to make the NFS root test pass. As the Li= nux kernel build by Guix is not able to boot over NFS root in qemu, I used t= he same function there to add the missing configurations. Oh, and finally, I need the same underlying kconfig.scm and a similar defcon= fig modification for U-Boot as well, which allowed me to simplify the existi= ng U-Boot packages. Bye Stefan=