From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id uNb9J1AY+mML0QAAbAwnHQ (envelope-from ) for ; Sat, 25 Feb 2023 15:16:48 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id OML2J1AY+mNwcgEA9RJhRA (envelope-from ) for ; Sat, 25 Feb 2023 15:16:48 +0100 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 439F03B7A7 for ; Sat, 25 Feb 2023 15:16:48 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1677334608; a=rsa-sha256; cv=none; b=oWOYxfSaa+a4zolz7bIAaecC6ahwKrMbWm3Yph70uPoA7PVAw1Lb04DitynIgSe/5YkVrV 3Olnlb53/TTq+lJ3Ip29QsKeduPjWNpdUjlRf9bEPiv7GWvpuluzUq1hwRtBpHIY3Wjdj4 +BWzVcAgrlJXCq7+aQtVrNbSbniDRjdp4/FIf8htetdlpXb37Vq/CX18/yeWKoyo/ih+uM 6dV0fkVx37D9Opgib7SvyywJXACen4XUuwh4TxwGCuuzQVgEje27sSnx90dquyzGljeI5F 00WQuwYqVy18kpG8+2cePzYYFYjOMGaMuaY8b8A54u9dM9nigN1wXTkTcTGaHA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-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=1677334608; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc: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; bh=TkZqn+JBFd8fTuFkFpLm9cCmgeCsa+3I8jw+TZXoQ8g=; b=jIlAc1wO4EMl/AarK5jGszv1+inUsvK9AWsUtsfL/nQfQzTis7vgnzuNEfMm1R+0KOvFZP Kqxcd6p8S43lO+WhVQpab9iOEhuV85eix4nmCVaGcYx2bpU73WQXSX8dpwNCTJ14v3/EMo Az4GenUKNKIZ9CQgiesDhAfIDNmPMN7fpsqPYzDxNt6nygJImxOkBEScjsJ5yaH3sTRQSh c/SzjfuZ4VhF8lK3Uk1q09WacD0hoCtHFPx2I9GRH+Fe4adM3GH6qXSbY1vJFizzFPfIzL 676wUUdgF7+W3PVT4ONS/qPu248KDoX2Uif7P3FI7p4JGOb92E2+vVHcvmEJNg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pVvLo-0003dy-3v; Sat, 25 Feb 2023 09:16:36 -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 1pVvLl-0003cV-Mb for guix-devel@gnu.org; Sat, 25 Feb 2023 09:16:33 -0500 Received: from mx1.librem.one ([138.201.176.93]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pVvLk-0004V9-5F for guix-devel@gnu.org; Sat, 25 Feb 2023 09:16:33 -0500 Received: from smtp.librem.one (unknown [192.241.214.14]) by mx1.librem.one (Postfix) with ESMTPS id EB1AE81DDB; Sat, 25 Feb 2023 06:16:29 -0800 (PST) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: Oniro or Guix on Zephyr kernel? Date: Sat, 25 Feb 2023 09:16:26 -0500 Message-Id: <5FF6361E-5DDC-45CC-9070-9B8B0AC4E73D@librem.one> References: <049A1AB4-773C-42C1-8F88-2F31B8A51451@librem.one> Cc: guix-devel@gnu.org In-Reply-To: <049A1AB4-773C-42C1-8F88-2F31B8A51451@librem.one> To: Peter Polidoro Received-SPF: pass client-ip=138.201.176.93; envelope-from=mitchellschmeisser@librem.one; helo=mx1.librem.one 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_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Mitchell Schmeisser X-Migadu-Queue-Id: 439F03B7A7 X-Spam-Score: -0.28 X-Migadu-Spam-Score: -0.28 X-Migadu-Scanner: scn0.migadu.com From: Mitchell Schmeisser via "Development of GNU Guix and the GNU System distribution." Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-TUID: cfgEjFoVRYm7 https://github.com/paperclip4465/guix-zephyr > On Feb 25, 2023, at 9:15 AM, Mitchell Schmeisser wrote: >=20 > =EF=BB=BF >>=20 >> Are you also planning on making the firmware that you write to run on top= of Zephyr into Guix packages as well? That could make it way easier to sync= hronize code on both a host machine and an embedded board that need to commu= nicate with each other.=20 >>=20 >> I would love to read another blog post about using Guix to manage an enti= re embedded project including firmware if you are ever up for it! >=20 >=20 > It=E2=80=99s already written! It will be published shortly but if you want= to look at my work https://github.com/guix-zephyr >=20 > -Mitchell >=20 >> On Feb 25, 2023, at 8:45 AM, Peter Polidoro wrote: >>=20 >> =EF=BB=BFThank you for all of your great work on packaging the Zephyr SDK= for Guix! I had the same feelings about West and its approach to handling d= ependencies. >>=20 >> PlatformIO has a similar issue where parts of it are very useful, but it w= ould be great to be able use Guix to manage firmware libraries instead of th= e platformio.ini files. >>=20 >> Are you also planning on making the firmware that you write to run on top= of Zephyr into Guix packages as well? That could make it way easier to sync= hronize code on both a host machine and an embedded board that need to commu= nicate with each other.=20 >>=20 >> I would love to read another blog post about using Guix to manage an enti= re embedded project including firmware if you are ever up for it! >>=20 >>=20