From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id CEvkMZY0imLxTgEAbAwnHQ (envelope-from ) for ; Sun, 22 May 2022 15:03:18 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id uCLlMJY0imLv5QAAG6o9tA (envelope-from ) for ; Sun, 22 May 2022 15:03:18 +0200 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 1C3832F89D for ; Sun, 22 May 2022 15:03:18 +0200 (CEST) Received: from localhost ([::1]:48660 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nslEq-0004fT-SL for larch@yhetil.org; Sun, 22 May 2022 09:03:16 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:60562) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslEc-0004eO-Kh for guix-patches@gnu.org; Sun, 22 May 2022 09:03:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50019) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nslEc-0000yw-BG for guix-patches@gnu.org; Sun, 22 May 2022 09:03:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nslEc-0005jX-74 for guix-patches@gnu.org; Sun, 22 May 2022 09:03:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55220] [PATCH v2 1/6] platform: Introduce new platforms. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 May 2022 13:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55220 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Maxime Devos Cc: 55220@debbugs.gnu.org Received: via spool by 55220-submit@debbugs.gnu.org id=B55220.165322452221955 (code B ref 55220); Sun, 22 May 2022 13:03:02 +0000 Received: (at 55220) by debbugs.gnu.org; 22 May 2022 13:02:02 +0000 Received: from localhost ([127.0.0.1]:43912 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nslDe-0005i3-Gg for submit@debbugs.gnu.org; Sun, 22 May 2022 09:02:02 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38868) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nslDc-0005ha-Ph for 55220@debbugs.gnu.org; Sun, 22 May 2022 09:02:01 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:40474) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslDV-0000uI-T7; Sun, 22 May 2022 09:01:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=T1m1JZMyn4pVCLVquFfM6hoIRO+MT6yfVY1U+uCA1a0=; b=jGzfmajbP+a9za4UU9im A9vjJ3GJVHsZeTkE+iILg+96cUfFtF+PsSSr2sWGz0hv60OzcplA2kZ9xJNVs2/1crkKfgdjDmFIk FHNXcNLqKjGTAbEaxi5G1UU66papdI2srN4j9QGQ/hOS7SkaPCYdxRHNh/Hhq66+Wd0U+VMuJRb5N InL6My53Asx5lSB90619vbP7lFCHgSw0jZXZOD5tvsdAtpvnXFqvWQghU9Wb6Oj3RtKxq8pfka3Zq B483BrKyuTqNADF7cB8+2SUdGbOxhKUPbfV4BfkQpSuEsZ+R7zJ0Rfwh02yEsnSuUXvP6EkKZScpC fffvehTaOXjPtQ==; Received: from [109.190.253.11] (port=41296 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslDV-0000gf-5Z; Sun, 22 May 2022 09:01:53 -0400 From: Mathieu Othacehe References: <20220507161126.14553-1-othacehe@gnu.org> <20220507161126.14553-2-othacehe@gnu.org> <7ef3abee543a92aa183df469b243fa0307729175.camel@telenet.be> Date: Sun, 22 May 2022 15:01:47 +0200 In-Reply-To: <7ef3abee543a92aa183df469b243fa0307729175.camel@telenet.be> (Maxime Devos's message of "Mon, 09 May 2022 22:44:08 +0200") Message-ID: <87k0aden5w.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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 X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1653224598; 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: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=T1m1JZMyn4pVCLVquFfM6hoIRO+MT6yfVY1U+uCA1a0=; b=UIw82MNxLqKgHES86azNPsN/WnkFUufKKcJc98682JHSg/sRf/Lc1znJAJY8a5CUGVEXj5 FCqXBylyiF1HbVV9eJvZX48smdcO/Um5aHBF3nfsreh9kEa7c1nZm1d0fdq/QDUPKggcF3 q6R+zOUPmvQC3kL3YZVC8g/Mw14r+UyE/xsrKbb8285paJAiXwal9+J/depEhYzk8ITaE2 wUJsAcenNwMHiDAC4OXNvfAyVz1w9HHj0vmpak4NZWTKAEQzpgzNWq9LSpkHup60gPD/8n EaT2fCAZRmNHFlsp4e26x0DEd8W2roJgTi0P4mwC1ye7/Pnbq9YjTIZKdKZKCA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1653224598; a=rsa-sha256; cv=none; b=Xh3Pp8r56afPWKUhTBfXByac81SZ5jX6Zz5PBZbG5V9+XY+NOImyx8HNHE9LjONktmhXz1 8ptS5ZAK9w2ZIR987WzsqSUREeMuAEwlxVsQ5SDvY4yM0B+n7WQrpzKuYtbixLA8lcZFTT 7H1MByXBLHQFhhVQ0D0rQohWTEP5KOf0z4pKm8K021E7P6AqD1+mG4Thj7hV00LP6Pm4HQ rpuZfvTqTQapF7UKDXvyfk+UA8/87Vqgp/w45XmPSczt9+T8de3s4KyefM/jfXJEaBQQ+B R+9whZm7h+Sdxv6ZGfDXsQBTEHrePc9Pl7tLjRiICGa6thKBlgdL2QE7b6eumA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=jGzfmajb; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.55 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=jGzfmajb; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 1C3832F89D X-Spam-Score: -3.55 X-Migadu-Scanner: scn0.migadu.com X-TUID: Dr8RzH689E+5 Hello Maxime, > I'm wondering, these files are all rather tiny, why not define all the > standard platforms directly in gnu/platforms.scm? The rationale is that users should be able to extend the system by defining new platforms in their custom channels. It is also in line with what's proposed by the (gnu bootloader) and (gnu system images) modules. Now I agree that it makes a lot of tiny files that won't probably grow much. Maybe we could keep the extensibility thing with a unique platforms.scm file defining all the supported platforms. I propose to move forward but to keep that in mind. Thanks, Mathieu