From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id EJ04JD3FWGCELAAA0tVLHw (envelope-from ) for ; Mon, 22 Mar 2021 16:26:37 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id WCkOID3FWGCfKgAAB5/wlQ (envelope-from ) for ; Mon, 22 Mar 2021 16:26:37 +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 48E581142F for ; Mon, 22 Mar 2021 17:26:37 +0100 (CET) Received: from localhost ([::1]:48362 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lONO0-0006Yf-EJ for larch@yhetil.org; Mon, 22 Mar 2021 12:26:36 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34370) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOHp9-0003NQ-NA for guix-devel@gnu.org; Mon, 22 Mar 2021 06:30:17 -0400 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:37123) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOHp1-0006Cm-RW for guix-devel@gnu.org; Mon, 22 Mar 2021 06:30:09 -0400 X-Originating-IP: 88.126.13.52 Received: from localhost (unknown [88.126.13.52]) (Authenticated sender: francois@avalenn.eu) by relay7-d.mail.gandi.net (Postfix) with ESMTPSA id 4E53520011; Mon, 22 Mar 2021 10:30:01 +0000 (UTC) Date: Mon, 22 Mar 2021 11:26:04 +0100 From: =?utf-8?B?RnJhbsOnb2lz?= To: pinoaffe , raingloom , guix-devel@gnu.org Subject: Re: [SPITBALL] Jehanne as another kernel option / porting target Message-ID: <20210322102604.4fzpeo4lgivzl4vm@fjo-extia-HPdeb.example.avalenn.eu> References: <20210319012445.678308ed@riseup.net> <87o8ff8jb9.fsf@airmail.cc> <877dm3ozy8.fsf@dismail.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <877dm3ozy8.fsf@dismail.de> Received-SPF: none client-ip=217.70.183.200; envelope-from=francois@avalenn.eu; helo=relay7-d.mail.gandi.net X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Mon, 22 Mar 2021 12:26:26 -0400 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 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" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616430397; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=oG3+3ZP/g6RWStBEBK/vMGYnGKsuI+a0YDOF0yBI+YU=; b=e3W+M8H7Xpcl+yGYB+909OdPf/bMrOHHlPkBoQqkzXexOSFGVup47WFZxRkt8GieQyNQp/ WQsemnIVg64oQGU4wx+PbfAeqTytu9BPgXgoXQudbJpLkmVKHiez456R8xdTfA1vGaPzhS FY5aDpoqWv73cubmjw72Gk7FBRj9+fqEFIR6HWM8/FeLjUSEV7YTdXpJYpVebk+4pggDrg ocC+u0VQCNugUVW6OJ/D6Ha7N/Vozc3+BuoDc3tNW8nYHWmx7b9a3K++Hdduy49Yrg8sVg OHweJPArL+7aI/9QOK9N9+KyuMYZHLnJDURM0YGIGAcLM5/5ohBp9cCY93eCHg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616430397; a=rsa-sha256; cv=none; b=CfT/U5twl/7nIIb06uIdJRyP19xGqsO1worFBwmt2/s4uwg5usJu7YdafY/K2hlwrxQHlE 3xhRz+4ZtXbKlzXGZo4NH90/oRlQEo67EvAwV0dQCc8F9O7r8pp/ECctmR+Mul5hkT2eiT J/rBRXykabMUDP8jPeSvFSP19w8pd/qiWD21QWL9mcjC3P0PeOjfFv/bzriLTLEjwyGsfc 7TCz2Xps4DkzMqbmA4sHs/oTKoVS417of6MroB2X7Af9kt58J/nyw2Qb3NwYze0vXEP3KV oHPja+F3hf3KjUPH4f02IXJj0TNd7LW5WnugeImDwOwpbIC+VBTBemRSlIhK/Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -2.42 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 48E581142F X-Spam-Score: -2.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: bGuSW4HqIvyC Hello, On Fri, Mar 19, 2021 at 12:44:47PM -0400, Joshua Branson wrote: > pinoaffe writes: > > raingloom writes: > > > >> seL4 would be cool too. > So essentially most of the active hurd developers considered a port to a > different microkernel to be impractical. :( > > However, one of the main hurd developers (he has since stepped away from > active development), started a hurd clone: x15. On the microkernel front there is also [Genode] which seems to have nice ideas. I don't know if it would suit Guix or not. [Genode]: https://genode.org/