From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id EDimEWLSs2HuYwEAgWs5BA (envelope-from ) for ; Fri, 10 Dec 2021 23:19:14 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id yNxmDWLSs2EdUgAA1q6Kng (envelope-from ) for ; Fri, 10 Dec 2021 22:19:14 +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 0178280A7 for ; Fri, 10 Dec 2021 23:19:13 +0100 (CET) Received: from localhost ([::1]:51380 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mvoER-00084c-25 for larch@yhetil.org; Fri, 10 Dec 2021 17:19:11 -0500 Received: from eggs.gnu.org ([209.51.188.92]:55486) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mvoEM-000849-Nu for guix-science@gnu.org; Fri, 10 Dec 2021 17:19:07 -0500 Received: from lepiller.eu ([89.234.186.109]:58248) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mvoEK-0008Sy-Ii for guix-science@gnu.org; Fri, 10 Dec 2021 17:19:06 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id f76734ba; Fri, 10 Dec 2021 22:18:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=L6+i1rpAtkqf HPQhFhfPm4U3vbCd8rsMW6Q3Jo5tXAo=; b=APWRuS0P1UibeOCCYtLKsSBxDA7/ Gb/NapVCrpom06QIMWfzjbYks/dPSEf/3N3KqnKtaAKC0ynqx2yhUXf8fMEe7q0e sWMA48InpGtAdvKYw02pUlwaz9NthA+qrtyRJuj5OmKvhtEyZGWBdlecT6KKykN0 QVA4MqLdIEBk6GVpW0ILWgK83+aAci9u6PNNbC93RoIUIol/N2AsIf83WVegThMc wP0wSFCRKRpFbWZFGl9IAGmQXeGPGtqXXgvRNJRleftezMOcBHxMrpR5g4JkwWXI KAmVE9hccelh1nGteZl0tt+yTfja60xA1h8clvbSpSIp97CgF0aU8wifpg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 6a2ba383 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Fri, 10 Dec 2021 22:18:59 +0000 (UTC) Date: Fri, 10 Dec 2021 17:18:43 -0500 From: Julien Lepiller To: guix-science@gnu.org, Peter Polidoro Subject: Re: Guix for Embedded, Hardware, Documentation, and Data User-Agent: K-9 Mail for Android In-Reply-To: <867dcceguz.fsf@polidoro.io> References: <867dcceguz.fsf@polidoro.io> Message-ID: <3CA44F2F-4430-425A-A652-62AE07339A52@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----TS9SERQSB5D4J9F8LPF510B5XPYDLP Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu 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, HTML_MESSAGE=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-science@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-science-bounces+larch=yhetil.org@gnu.org Sender: "Guix-Science" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1639174754; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=L6+i1rpAtkqfHPQhFhfPm4U3vbCd8rsMW6Q3Jo5tXAo=; b=qYrA+mrdbh5FvLAXikPW20pjK5sNAXLHPDXZVh9Xz+r2M4zEQLMtdt9065yYHykEp1ur08 HIF7XRkVXlSsmcJ+xaZj3RHJri3LyjYPxGT2DT/3+qCLejftlNxLXLKldzj5lQyToohp5N jgIZlQUCKnpGIYqBkGsUM01d6Rqo/tiHjOeuvXtdMZp6toXKUD0xWSc8xRGgE9sQLyG7su 4xHJiRIAShcZFrxYca07t8EmL8Bpqi1FuX1TtS5NUtW0mrtXUA1wyYGOpZH6WCfk5R5gON GN/MaRYXVZmh5lzYyQf1gqwVbdVjKWeHq+Zwq/TnbMrrXkRGC3oIqBM1HE34jw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1639174754; a=rsa-sha256; cv=none; b=M1TKWXRApdsk0zReHzaiTXbr4iCqI8A2JJBGSIoXwVeSdnNCI6Pr22PCI3eRzcoQn0LYjX AmwPk8TDb8Gn9jnP97YRehnIeuPR/f+5dXsrrag0JLlJdb45LmLTeBUc72YO9rSTKH5sor 0qS5L+NrWU/Ed/4ZJGlMfiLdc8ZC3zF/xZxIGUnmKI5ByxFUeqeeEUi6mbRYPoqJBk25uR 1Wp9nkrFRMulG/oioJa2B78idlX8XEyLXyELeURuH/7JDXSp46daT5xB2NCKesWyro6pox rD2OFF6OhefRbyA18Bipi9A4J/uX9xapT5RWlyUjywNYSDiVrDH8fBG0R8DuPQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=APWRuS0P; dmarc=pass (policy=none) header.from=lepiller.eu; spf=pass (aspmx1.migadu.com: domain of "guix-science-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-science-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.16 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=APWRuS0P; dmarc=pass (policy=none) header.from=lepiller.eu; spf=pass (aspmx1.migadu.com: domain of "guix-science-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-science-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 0178280A7 X-Spam-Score: -4.16 X-Migadu-Scanner: scn1.migadu.com X-TUID: 3gPHxsBS7BJg ------TS9SERQSB5D4J9F8LPF510B5XPYDLP Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I think guix can be used for more than just packages=2E When you say docume= ntation, what comes to mind is package documentation, but we also have man-= pages, which contains no programs, only=E2=80=A6 well=E2=80=A6 man pages :)= =2E We also have sicp that contains only a book=2E With cross-compilation, it shouldn't be too hard to build something for an= embedded system, though that's still something that needg to be demonstrat= ed I think=2E Le 10 d=C3=A9cembre 2021 08:00:23 GMT-05:00, Peter Polidoro a =C3=A9crit=C2=A0: >Could Guix be used for packages that do not strictly contain=20 >operating system software? > >For example, could Guix be used for packages of embedded code and=20 >their dependencies to be run on a little RTOS, like Zephyr, or=20 >bare metal, like Arduino or PlatformIO libraries? > >Could it be used for hardware, like a Kicad pcb package that=20 >depends on component and footprint packages, or packages of=20 >FreeCAD mechanical assemblies that depend on part packages? > >Can Guix packages be used for documentation and other data? > >Or are all of these types of packages way outside the scope of=20 >Guix? Although it could still be used for the operating system=20 >software development environments for these types of projects, it=20 >might be very powerful to package other types of code and data as=20 >well=2E > ------TS9SERQSB5D4J9F8LPF510B5XPYDLP Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable I think guix can be used for more than just packag= es=2E When you say documentation, what comes to mind is package documentati= on, but we also have man-pages, which contains no programs, only=E2=80=A6 w= ell=E2=80=A6 man pages :)=2E We also have sicp that contains only a book=2E=

With cross-compilation, it shouldn't be too hard to build something= for an embedded system, though that's still something that needg to be dem= onstrated I think=2E

Le 10 d=C3=A9cembre = 2021 08:00:23 GMT-05:00, Peter Polidoro <peter@polidoro=2Eio> a =C3= =A9crit=C2=A0:
Could Guix be used for packages that do=
 not strictly contain 
operating system software?

For example, co= uld Guix be used for packages of embedded code and
their dependencies t= o be run on a little RTOS, like Zephyr, or
bare metal, like Arduino or = PlatformIO libraries?

Could it be used for hardware, like a Kicad pc= b package that
depends on component and footprint packages, or packages= of
FreeCAD mechanical assemblies that depend on part packages?

= Can Guix packages be used for documentation and other data?

Or are a= ll of these types of packages way outside the scope of
Guix? Although i= t could still be used for the operating system
software development env= ironments for these types of projects, it
might be very powerful to pac= kage other types of code and data as
well=2E

=
------TS9SERQSB5D4J9F8LPF510B5XPYDLP--