From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 WObDB1vg92PpaAAAbAwnHQ (envelope-from ) for ; Thu, 23 Feb 2023 22:53:31 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id EGLhBlvg92OyMAEAG6o9tA (envelope-from ) for ; Thu, 23 Feb 2023 22:53:31 +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 9D0B347C40 for ; Thu, 23 Feb 2023 22:53:30 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pVJWP-0005Dt-Rk; Thu, 23 Feb 2023 16:53:01 -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 1pVJWK-0005DT-8i for guix-devel@gnu.org; Thu, 23 Feb 2023 16:52:56 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pVJWI-0008M9-3t for guix-devel@gnu.org; Thu, 23 Feb 2023 16:52:55 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4PN6Fs1fywzDr8G; Thu, 23 Feb 2023 21:52:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1677189169; bh=msrHbmweRgIWn0tvwGK+maEg6P8jm4jhz6rpq+IhDwk=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=WFQllvRHe/laQ22pFWxZHLShL/trFt6HjGJY3BokXHflhqXuBRY9PlbpRc7wz0lSN Bx11rJVmo9NwKxwcw9DER6HAJf7Yy8irUq/aRCOAj+ZnBxTa7VPA7aTYpv16ZlFXLI N54NvFQaN14Re+xn/76n9BdF9cR13WaCoyteD19s= X-Riseup-User-ID: 665F6641379A6E48D8FE01BC7C9C019F04F69A20C025C691E63B832E82A643B6 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4PN6Fr3mpZz5vlZ; Thu, 23 Feb 2023 21:52:48 +0000 (UTC) References: <875ybsxwpc.fsf@polidoro.io> From: Csepp To: Peter Polidoro Cc: guix-devel@gnu.org Subject: Re: Oniro or Guix on Zephyr kernel? Date: Thu, 23 Feb 2023 22:43:55 +0100 In-reply-to: <875ybsxwpc.fsf@polidoro.io> Message-ID: <87o7pkxd5j.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-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: , 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 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1677189210; 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:dkim-signature; bh=efHp+hhr6p90DdFoL4UxUyseqLtxVS6rXvwonaGfs8s=; b=uy5qmrSZ5cTnZf8AK56hpw1itYvQpP1f6HOLMpFAZIfNVzame7BihmOAjI3yhf+uij8pPP Oze6oaPv9GaXAjFTgGo9hSezrDAM797HIJstln8k3QlRvyTbxbjklGmSEB+kEYhdPf07S8 JRwp8lKzAN1Jk1CdpuJ41X24w8Q25pO8uKGzRbNu+YCkaLMPaVRhGWg63Y6TB2RIjyt27S t3g8T/6V+WDmvBkzRV9x23pvOO61j6QroHqDm6gUrkJmmvFKlPO1ehFwipIVFQ20hZ4qK0 /3CeWedelH1z4mAGEncHV5Zvi88IwITRQqfbCh6Moj4i11jBi45QpkUDcAVS6w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=WFQllvRH; 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=riseup.net ARC-Seal: i=1; s=key1; d=yhetil.org; t=1677189210; a=rsa-sha256; cv=none; b=sWEdijJrWFr7K1e8x7Kx9aHEjBzCAQi9Db2nEUO/lABge63LG7eyHMuhKqdvIjzUFnKoW6 IJqHEvelmGCu8NpixASiEyfIASHzItVbQ988FzGNpkZ/GB3uOwcrjDRwXSM9vmaKHZj8w9 qOaTAdVVwbh7CjaEH/AdeE5CV0KfcpBAN1Rin0ZTx5kO/REZB8uuHY/zIwU1OaH7SiL1Vz rvdgPphXRq8rAA1IJ+tE/rgsAg3t3Oovs6rMnf+zVHS8tKu7a5GpEabaChEp+WGP2vHFPn Qk+h9ZX5GEDxNDGSnJpPztl3U5TPf1ZU+oVKG7sIs/1v0mEpqySqmrErLFfH+Q== X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=WFQllvRH; 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=riseup.net X-Migadu-Spam-Score: -5.52 X-Spam-Score: -5.52 X-Migadu-Queue-Id: 9D0B347C40 X-TUID: XgKT5NaFBz5s Peter Polidoro writes: > I just stumbled across Oniro[1], the Eclipse Foundation's new > operating system. > > It seems that its main goal is to be able to run a common operating > system on multiple embedded kernels, either the Linux kernel for > larger devices or the Zephyr kernel for smaller ones. > > Since Guix System can run on both the Linux kernel and the Hurd > kernel, could it, in theory, also run on the Zephyr kernel? > > Could Guix System be an alternative to the Oniro project or is there > something about Guix System which would make it unsuitable for > embedded devices on an RTOS kernel? > > Footnotes: > [1] > https://blogs.eclipse.org/post/mike-milinkovich/introducing-oniro-vendor-neutral-open-source-os-next-gen-devices This doesn't quite answer your question but it's worth noting: You can use Guix as a build system to compile to any kernel with a Linux based cross compile toolchain. I'm currently working on using it to compile MirageOS unikernels. Reading about the kinds of devices Oniro and OpenHarmony supports, it seems unlikely that you could run the Guix build system on the lower end of the spectrum. Guix already barely copes with lower end ARM and older i386 devices. It needs at least 1GB of RAM and plenty of storage, preferably flash based. If your device meets those requirements then there is not much reason to run an embedded OS and if it doesn't then your only chance is cross compiling to it. There is actually quite a bit to be gained from using Guix to cross compile to embedded devices or unikernels, but a lot more work is needed IMHO. Help with cross-toolchains is I think always welcome. UwU