From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id aGniN3+2tWH+XwEAgWs5BA (envelope-from ) for ; Sun, 12 Dec 2021 09:44:47 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 8EyFM3+2tWFzXAAAbx9fmQ (envelope-from ) for ; Sun, 12 Dec 2021 08:44:47 +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 6217035A7E for ; Sun, 12 Dec 2021 09:44:47 +0100 (CET) Received: from localhost ([::1]:52688 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mwKTN-0006SV-JS for larch@yhetil.org; Sun, 12 Dec 2021 03:44:45 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47064) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mwKTI-0006SL-EL for guix-science@gnu.org; Sun, 12 Dec 2021 03:44:40 -0500 Received: from flashner.co.il ([178.62.234.194]:38304) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mwKTE-0000Cq-GQ for guix-science@gnu.org; Sun, 12 Dec 2021 03:44:39 -0500 Received: from localhost (unknown [94.230.83.253]) by flashner.co.il (Postfix) with ESMTPSA id 1F1E440277; Sun, 12 Dec 2021 08:43:56 +0000 (UTC) Date: Sun, 12 Dec 2021 10:43:23 +0200 From: Efraim Flashner To: Julien Lepiller Cc: guix-science@gnu.org, Peter Polidoro Subject: Re: Guix for Embedded, Hardware, Documentation, and Data Message-ID: Mail-Followup-To: Julien Lepiller , guix-science@gnu.org, Peter Polidoro References: <867dcceguz.fsf@polidoro.io> <3CA44F2F-4430-425A-A652-62AE07339A52@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="kx7gz9MP/7EbuCnQ" Content-Disposition: inline In-Reply-To: <3CA44F2F-4430-425A-A652-62AE07339A52@lepiller.eu> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Received-SPF: pass client-ip=178.62.234.194; envelope-from=efraim@flashner.co.il; helo=flashner.co.il X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, 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=1639298687; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=/jDsQYZWsOCOUMQSGcvqzFbhBmM2gjS2C9rdtXHy2tA=; b=o3VQxAeVCVQ9WhcD91Q4VOtaavbm4nuK5Dgl4vgJIppNv+u47Q12t36IltuV4GJQjmNAGi 4d9CB9U5JM138HOBx8xH7PBXhiM07idfDgtlrX2lqg4aH2k8Ckom8mlzY7aJsgV7gzQGVX Zwh/FoxB3VKeUoVJFQkKEXEMKV4N+tNqF7+uGzNP15RZU4kcq1oLd0+SsG5gEN74RHW15n MJlGSNtqWcYaOE7x8IpfxK6dtT1suGjYXZeRWz0eJ/fJ34ejyenOaJNl9QFNMMZoIbiUKV glCAKOFNwISqYylzyYMBw1BSeh+E+P9Ut/fVihutHKLZxbxUaMUZy74EgY5SEA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1639298687; a=rsa-sha256; cv=none; b=qG278i381ICY5NiZiaR2YbXQrrrzsAffqPGQcpQk2d7nMk/q0zoMUYpnuZK7vEm1DTYwAM gjBcE0y0/s6WSxbcg60A17bZ0YSEusPqQEspaUwQIaqyCl4bRY++xG13PodCZjFqy/yBhz u/q7ncoSlEzxJyRVI9p2xTvWvkuTxjsPwKtdI9Rntja1c9rK0qhNGHvWrznJ4XUmw5i15v 5c2wZo5pkHC/UHeoHG3kd5FfrvUF//FXcXqvo8udiqfbV9/pWSt2oMfGOdbIYIoKkQO+UI sIN/gmuHhk1m1sXh1HNZCFAvC6GzRcqwwz8Rnvav2+HZyTdoMOzyo2SvKWZ8KA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; 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.56 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; 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: 6217035A7E X-Spam-Score: -4.56 X-Migadu-Scanner: scn1.migadu.com X-TUID: CfXbEW2x03gm --kx7gz9MP/7EbuCnQ Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable I have a channel which only has IETF RFCs, so I guess that's like having documentation. In theory if you can write a build that will provide you with what you want you can build it with Guix. I would say actually running Guix on any of this small hardware is outside of the scope of Guix. https://gitlab.com/Efraim/guix-ietf On Fri, Dec 10, 2021 at 05:18:43PM -0500, Julien Lepiller wrote: > I think guix can be used for more than just packages. 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. >=20 > With cross-compilation, it shouldn't be too hard to build something for a= n embedded system, though that's still something that needg to be demonstra= ted I think. >=20 > 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. > > --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --kx7gz9MP/7EbuCnQ Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmG1tigACgkQQarn3Mo9 g1EY8A//TMSlZQ+jH4H9baKTSp8458V0yr5lwX1zupeaJp6L+MOooJCKzzwNXZTt GLBGW3ENVZk48KRSI+ftouvA9ucfwZpAwpbj/ZZO9HfBvqUK4m92q1sRUKHxpF65 tcCaX+ToykfDutRX/pUPNdo2YDFCohucMILo24jGp0Lba/8pgfnhv58FI28xUBC8 27/kYJWoxrgltxNQev2YZvl21XccL1IScAaR5p8/2xCG/NFCw7k6rHhHmtPIno+B JypXKLHMJnJrPac7h60OJQtk6+yaU502KTbDCkBqT5rtEPlgGRipcXrxvFN2vyPk 6PN0C4JCM8yNICIpdUmd03068i+oOXykbnFBjQ7v6+ZNHDUD/lwivcjk8BN3YuTb 3Ed7hkQPGu4klenGMV/ucACLF4tNbz++AAAYY7CnI86BlBecLAIhgPi+dwp2M5UV RA8dCtTrzHQod/ODfxqryjWGIBQ2d0qLJP+bhewEf+WG1k/hTowibC1ignltsfvp RVdN3fAgjADdeVl/5fGH/hIj+yS6paIyjvm95ll+B6UK1iwAMyCeI1+tl/+jo6T9 rUvIF/MS/TmmQh3vUN9iUACAYCGlRQNsUuAxQa/P4h7kTIdnw9HGrFfoyun+ulUc JLCOjxOOBE28y21ptVuXBUnl/0nJRIrfxFsLqCL9ZdIOgV8XTts= =vncl -----END PGP SIGNATURE----- --kx7gz9MP/7EbuCnQ--