From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.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 uNSrEv1+eWKWwAAAbAwnHQ (envelope-from ) for ; Mon, 09 May 2022 22:52:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id SFe8Ev1+eWL/DAAA9RJhRA (envelope-from ) for ; Mon, 09 May 2022 22:52:13 +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 13A5A2A2FA for ; Mon, 9 May 2022 22:52:13 +0200 (CEST) Received: from localhost ([::1]:52158 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1noAMV-0007FJ-Uj for larch@yhetil.org; Mon, 09 May 2022 16:52:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51066) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1noAMM-0007CW-9W for guix-patches@gnu.org; Mon, 09 May 2022 16:52:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37455) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1noAMM-00046E-0q for guix-patches@gnu.org; Mon, 09 May 2022 16:52:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1noAML-000834-V2 for guix-patches@gnu.org; Mon, 09 May 2022 16:52:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55220] [PATCH v2 1/6] platform: Introduce new platforms. Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 09 May 2022 20:52:01 +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: Mathieu Othacehe , 55220@debbugs.gnu.org Received: via spool by 55220-submit@debbugs.gnu.org id=B55220.165212946230862 (code B ref 55220); Mon, 09 May 2022 20:52:01 +0000 Received: (at 55220) by debbugs.gnu.org; 9 May 2022 20:51:02 +0000 Received: from localhost ([127.0.0.1]:59585 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1noALO-00081h-6k for submit@debbugs.gnu.org; Mon, 09 May 2022 16:51:02 -0400 Received: from andre.telenet-ops.be ([195.130.132.53]:33178) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1noAL7-00080y-LS for 55220@debbugs.gnu.org; Mon, 09 May 2022 16:51:00 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id Ukqj2700H4UW6Th01kqjVS; Mon, 09 May 2022 22:50:44 +0200 Message-ID: From: Maxime Devos Date: Mon, 09 May 2022 22:50:43 +0200 In-Reply-To: <20220507161126.14553-2-othacehe@gnu.org> References: <20220507161126.14553-1-othacehe@gnu.org> <20220507161126.14553-2-othacehe@gnu.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-LStKc1nBfJzY2ZwJvpvV" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1652129444; bh=3LEriMdOB/4Da9E73qJLqirQa5fJ/fNQ1zMb0r2g4J0=; h=Subject:From:To:Date:In-Reply-To:References; b=M1BCezsP9AGICP90MPp+L3IwikE4w76lkvwmwHaT7ll7a7daU8Op1jvJ945GUiZS0 p6CZmd3fAB5W062GTNPgjM/DXDD6XDP7tDuhZSquN3m2MTrlhuWoct2P34aDFGn+sL DYbUTjBTGxbsN1U5d7PubCh+MaCx2nS/Z9HxJ8GDmNGiGB/xhLagKmsCU6hXQB6mr0 HdrQ0NKctbhflZPDPNEmS1Nwh4UMhIYs96/6deZMVmwummi6QAIPzDp8bxf+B7iskM JklZIHmt4OAWI+wZgo4oRozUXQzpGEzyK6Ni4dPixmWdQvhMIMY1yDsblVuQCU8Ayl kMkdyi9qmjDYA== 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=1652129533; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=3LEriMdOB/4Da9E73qJLqirQa5fJ/fNQ1zMb0r2g4J0=; b=bVik6loWdPQYlrr1KZ86PjCvd/VxroxNA1LAowawxIOZlpAC8fo0P2b9A6+Q5MHSxYJAVA WnyMD9vLarlNWwrtDCgu3B4jFXEY2vie7wNOvK2hUb9uUgwh7WvVriYTsU1AUcaia+cBf4 +QbKy9Nw9LaJZiDPq1hnZoky11njKbutATIXLYxU7tp6N0bVPF7Ws7mYjiPBDRNNaxSAQk icD5QN0kQWf+Td5zrB45UC62KJpVMSTJ2qHGeRi+0E95vNoOgw4jrvKJCmQpG7dkI0NyLn k7XSkWIuvQCs86dG1be2JjET/0kvhy29RLocKh0PMjE86VDiDEXWtDDcYyAt2A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1652129533; a=rsa-sha256; cv=none; b=l3lJTwiv7iYJUo+6decLWHhvVAtgVnA8IIF094WO5byHggKhVCWkhsmlNnFdV75ouop2wq 1lkKDq7xyMHdvC6EDxsFpJgI61zwb1lKv7SrYieqS8U6okpZda5AcaW3p6XEwe0YjDkW0K yNMBfuglvcQynWKufEgifwOD9BRQSPQtVz4JP8Gxfl1gVbd7RbhNDJDrupLXszhPqr1yB2 OJnWLBXqIzNw4auDokICUg2pG69UXqHddXF5bgQk/RQt/IVfJws01rHsDDnO9kFZsvObVl Bvnfu9SWYlh5VXdrDHs74iV+mTs5UkUTDppPX9fFTo8NYSb608XekJoQdWQOkg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=M1BCezsP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); 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.30 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=M1BCezsP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); 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: 13A5A2A2FA X-Spam-Score: 3.30 X-Migadu-Scanner: scn0.migadu.com X-TUID: UKZrvtQW6Fgu --=-LStKc1nBfJzY2ZwJvpvV Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Mathieu Othacehe schreef op za 07-05-2022 om 18:11 [+0200]: > +(define intel64-linux > +=C2=A0 (platform > +=C2=A0=C2=A0 (target "x86_64-linux-gnu") > +=C2=A0=C2=A0 (system "x86_64-linux") > +=C2=A0=C2=A0 (linux-architecture "x86_64"))) Nitpick: the original spec was written by AMD=C2=A0and also implemented by VIA according to Wikipedia. It's not tied to only Intel. More neutral would be x86-64-linux. Also, this could be confused with the ia64 architecture (albeit not currently supported by Guix). Also, we have two sets of platform modules: the =E2=80=98architecture=E2=80= =99 modules, and the =E2=80=98kernel=E2=80=99 module arm.scm. Maybe that can be simplif= ied now by moving the Hurd platforms (currently only i586-pc-gnu) to intel.scm (or maybe: x86.scm, or just platforms.scm, see other reply)? Greetings, Maxime. --=-LStKc1nBfJzY2ZwJvpvV Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYnl+oxccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7nOMAQCJZfQeDDbKrpVmacZfoxx2L3DN 1ZDuBcR2bqZRIHULpgD/bdF1nw3pPpH9AJh/2sQMeK0UITwZ6gu8OuRaDr98gAI= =KP8U -----END PGP SIGNATURE----- --=-LStKc1nBfJzY2ZwJvpvV--