From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:700:3204::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id wO24B9DTnWVlaQAAkFu2QA (envelope-from ) for ; Wed, 10 Jan 2024 00:16:32 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id 2F+RO8/TnWVFIwEAe85BDQ (envelope-from ) for ; Wed, 10 Jan 2024 00:16:32 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=dSIzMnKE; 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"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1704842191; h=from:from:sender:sender:reply-to: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=Pt8UrefskboeY2WvhYQthpOOyC0y0xpia5XfzuKfppo=; b=KFG7FPJvFUhk5FT+ICc1iuQuv8UvPjI7DV/BU7K7KjVkun2Nc26uKwfa7nBM5iuZO9RQvq iQfGe06fBAubwUKghxhfjygr2HiU4qpN6ZWzoIFUNtnpyH2vu7WAki3atiLBXPTN4TMV+Q YCjrcBZT0sqidblGHn0vJYGREGFWTnIeaNqTvYalig4lCU6TSp6mfq/vzG3+mMd1qV2rN9 FeMM7oy9+7ETw2n+lvVcHVf97lG5H7vtzkzr0NdDor/Nyepdi7aUh6W4T1540L2cd+vgAG J+xsHYLW2+o59+9eKf6/PwrfEDTx0CROr/haoCBjvnVyfImDxMM9R7omndZb6Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1704842191; a=rsa-sha256; cv=none; b=VWABto8dWjsXE2r55AuR+m7rQUURXwT0gWnT8VsonOkY57azC6/YYPcZIhQO879cpLgjAQ iVpHV4Rys1dz9yGAwQ2QXIUQYXXDxp0MUbO2N4It7vDCPMRy+uCcpw/veTm7KtbkggViCc /s/IbgBDAhqyI/fdd49iSxk8kCOvEJ1g7ggXC13XYywCRKXxb0ylzIFND89llyuKFRbvcA /i8TMrnQdhkaE+KXkoj6SJYEF8FAglS5KoC4tRU4mNp8o3aaL9vYk/8Ph/faKbITAxaT/6 lWWVZ6pP68BY64EIP70dSEvYNxDeup9Ujfh2YOU4Y6MOBkH7zCbAxH6ICdEwXw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=dSIzMnKE; 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"; dmarc=pass (policy=none) header.from=gnu.org 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 8A50B3ABFD for ; Wed, 10 Jan 2024 00:16:31 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rNLKB-0001wG-Lk; Tue, 09 Jan 2024 18:15:59 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rNLK9-0001tf-Gx for guix-patches@gnu.org; Tue, 09 Jan 2024 18:15:57 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rNLK8-0001er-IW; Tue, 09 Jan 2024 18:15:56 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rNLKD-0000IM-Nx; Tue, 09 Jan 2024 18:16:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68355] [PATCH 1/8] guix: Add ork1-elf platform. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix@cbaines.net, dev@jpoiret.xyz, ludo@gnu.org, othacehe@gnu.org, rekado@elephly.net, zimon.toutoune@gmail.com, me@tobias.gr, guix-patches@gnu.org Resent-Date: Tue, 09 Jan 2024 23:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68355 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68355@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ , Christopher Baines , Josselin Poiret , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Mathieu Othacehe , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Christopher Baines , Josselin Poiret , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Mathieu Othacehe , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice Received: via spool by submit@debbugs.gnu.org id=B.170484212729900 (code B ref -1); Tue, 09 Jan 2024 23:16:01 +0000 Received: (at submit) by debbugs.gnu.org; 9 Jan 2024 23:15:27 +0000 Received: from localhost ([127.0.0.1]:41266 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rNLJf-0007ks-1U for submit@debbugs.gnu.org; Tue, 09 Jan 2024 18:15:27 -0500 Received: from lists.gnu.org ([2001:470:142::17]:52588) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rNLJd-0007Uo-Lw for submit@debbugs.gnu.org; Tue, 09 Jan 2024 18:15:26 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rNLJN-0001fb-Ij for guix-patches@gnu.org; Tue, 09 Jan 2024 18:15:11 -0500 Received: from mail-wm1-x32a.google.com ([2a00:1450:4864:20::32a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rNLJK-0001L2-DW for guix-patches@gnu.org; Tue, 09 Jan 2024 18:15:08 -0500 Received: by mail-wm1-x32a.google.com with SMTP id 5b1f17b1804b1-40e552dfa5dso3304325e9.1 for ; Tue, 09 Jan 2024 15:15:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1704842104; x=1705446904; darn=gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Pt8UrefskboeY2WvhYQthpOOyC0y0xpia5XfzuKfppo=; b=dSIzMnKEFY1HCAQweWYqr1UC3U+fS6w3WzrEnTRFmaKx7bLiHHqEgo4IujNVuLu5x0 hzsExgo2GaleNyWh3GR8J4/VNqF7cl0x4xltIXKeCR+RdjlZN/EoaKAgw3QN7lh7j3By TeJyNcBAsPTWTo0erTe1/IOru+3MuC/oknsmi1etcy3VcH8TCnTtfIVXmS9MhBwmwXqf mT+RX4vorsFE9yTeiH2ZUiT81iSfI6B8nn7qeHu8BTVle7hcH7fCAB/fWUcEgRqKrj3P 9SSncaEWiDom7AxcSonxwZmxc/UBC0G/dhjjhU1dmMNLG41PXsmkTcPgZrminGLUvD+k 4oXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704842104; x=1705446904; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Pt8UrefskboeY2WvhYQthpOOyC0y0xpia5XfzuKfppo=; b=U8jReAX93N260Do/Go449aWfOdGBu2Gg4VCAr/DPPE+xCC3TaWDLgmEm1+syiccCYX 2/ir0ME4AUyavPWZ/27ycdSBHbOpj/38pCMcn0XCvWracivUqaBDl1N6mN5QowLi45w3 cDc54kLTwU4joJ2l+gaFby11xiLe8urDd5ZxNJdEEFqWGz0L1s9AKy8O1r98dHe7mHz/ EZ26oXy3KipwfQHrXWaNEzDs0GNPH4quw4/MSU4yzrKSSddnaVD/w2/fUruwcegpvfXE 8V5wYvHSWmd5HScp9KVxvpwU+CBgSUJc6kjuli4UJd419WTnpbdQKsmXxE3dyvtpvwBz vhPA== X-Gm-Message-State: AOJu0YzIPwAC5qGt9k+49dEGAeSrbumD4qi1MemC86HsRT5eSOaqilhg SmT9EblwEjjSDT/ZzpO9+FM5WWVLvfDqFMmC7PMQn11ZCuU6uA== X-Google-Smtp-Source: AGHT+IFxVmTLp0bqvibw7NX/fhREzukYU3VEkHLFBazeELPejA0NbBketZLK4OJcnG6sf4SLOYYgEQ== X-Received: by 2002:a05:600c:141:b0:40e:4db4:9c4a with SMTP id w1-20020a05600c014100b0040e4db49c4amr39404wmm.50.1704842104271; Tue, 09 Jan 2024 15:15:04 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id p16-20020a05600c469000b0040e39cbf2a4sm56833wmo.42.2024.01.09.15.15.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 09 Jan 2024 15:15:03 -0800 (PST) Date: Wed, 10 Jan 2024 00:14:35 +0100 Message-ID: <577f930d63230d1308c15c10d6cbc50afe973a40.1704841447.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::32a; envelope-from=jean@foundationdevices.com; helo=mail-wm1-x32a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action 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: , Reply-to: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches From: Jean-Pierre De Jesus DIAZ via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -3.79 X-Spam-Score: -3.79 X-Migadu-Queue-Id: 8A50B3ABFD X-Migadu-Scanner: mx11.migadu.com X-TUID: Qk00Jh10j/Gx * Makefile.am (MODULES): Add guix/platforms/or1k.scm. * doc/guix.texi: Document or1k-elf platform. * guix/platforms/or1k.scm (or1k-elf): New variable. Change-Id: I3f71a0fa97f1ebd2bbdbf6cd00a93b477a123648 --- Makefile.am | 1 + doc/guix.texi | 6 ++++++ guix/platforms/or1k.scm | 28 ++++++++++++++++++++++++++++ 3 files changed, 35 insertions(+) create mode 100644 guix/platforms/or1k.scm diff --git a/Makefile.am b/Makefile.am index b64dcaa77c..deee38232f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -140,6 +140,7 @@ MODULES = \ guix/platforms/arm.scm \ guix/platforms/avr.scm \ guix/platforms/mips.scm \ + guix/platforms/or1k.scm \ guix/platforms/powerpc.scm \ guix/platforms/riscv.scm \ guix/platforms/x86.scm \ diff --git a/doc/guix.texi b/doc/guix.texi index 395545bed7..8b32722d64 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -16902,6 +16902,7 @@ Cross-Compilation - i686-linux-gnu - i686-w64-mingw32 - mips64el-linux-gnu + - or1k-elf - powerpc-linux-gnu - powerpc64le-linux-gnu - riscv64-linux-gnu @@ -46093,6 +46094,11 @@ Supported Platforms from AVR Libc. @end defvar +@defvar or1k-elf +Platform targeting OpenRISC 1000 CPU without an operating system and without a +C standard library. +@end defvar + @node System Images @chapter Creating System Images diff --git a/guix/platforms/or1k.scm b/guix/platforms/or1k.scm new file mode 100644 index 0000000000..bf983085c5 --- /dev/null +++ b/guix/platforms/or1k.scm @@ -0,0 +1,28 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2024 Foundation Devices, Inc. +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (guix platforms or1k) + #:use-module (guix platform) + #:use-module (guix records) + #:export (or1k-elf)) + +(define or1k-elf + (platform + (target "or1k-elf") + (system #f) + (glibc-dynamic-linker #f))) -- 2.41.0