From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id UOeYOaHnVGCHSwAA0tVLHw (envelope-from ) for ; Fri, 19 Mar 2021 18:04:17 +0000 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id kER9NaHnVGAySAAA1q6Kng (envelope-from ) for ; Fri, 19 Mar 2021 18:04:17 +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 aspmx2.migadu.com (Postfix) with ESMTPS id 684101EF0D for ; Fri, 19 Mar 2021 19:04:17 +0100 (CET) Received: from localhost ([::1]:44992 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lNJTs-0004ah-D5 for larch@yhetil.org; Fri, 19 Mar 2021 14:04:16 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47204) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNJS6-0003bY-N9 for guix-devel@gnu.org; Fri, 19 Mar 2021 14:02:26 -0400 Received: from mail-pf1-x429.google.com ([2607:f8b0:4864:20::429]:43875) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lNJS3-00053t-1w for guix-devel@gnu.org; Fri, 19 Mar 2021 14:02:26 -0400 Received: by mail-pf1-x429.google.com with SMTP id q5so6440102pfh.10 for ; Fri, 19 Mar 2021 11:02:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=w3nmQnFFOgCDVsNdRvg6dPlX/g8gqTEofSFnRVwczVc=; b=DqgCaTOWybj72G71yNDbBAY+wx6asfPbPnBn+Ufu83eCyBymPeuid31rHo/WArpQ4v QCXGrkQkiM7x0YwxzLngGIC4DIMnKEp77bjUrXowX0Aib28YzIkIZF6Eu7epFsInZCb/ S8GdJe+e5K8ivf14Tlb0YsvuT8H/WNsw6BqpMt5o2agDOQ9Y3SN/yGT3p+E1dbHpF5ju Y+dqSoZl+Fzipa4ienmZRZSHXCDDlI96l2umK/ufQXzsndPY9FJRs553d7STI1l8ZLTz oQ1ABM5AP3yeuL8qsicbPPDurHAehHfb4QOsPKeW6rGqpqmb3wqxVz55I1FGszdiTO1k Z8QA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=w3nmQnFFOgCDVsNdRvg6dPlX/g8gqTEofSFnRVwczVc=; b=pc4qFZ44yjXkSlI/uxGYL5yH4Db19trtRXusR740lTFGFFMkqE0M6pnW1NA4MaSTlR Tipe9uYvf6HaOPp3aQkrCzZ8LdFoNqkFV/zDZAYABDSk7Zc06Esl3J+x8NkTiSvgdmzd bPhg4f/DupMUqUZnw3del1vd/DA1x7Wxi9IvZOzV9GjS2sz4lUyhOq6ixFgJfEL7RJsm lDIG++BFO5TSwYb52I89IhE0MuOv8AU3yvO+8ap4JTte210w+HIwkj8kzDj0/QwvltAL kzMpzJgqgfFl6LIkRqMEKQ3Nn0BUcBuuws2CLwNfGRS1UsE7tYHwZ1vbiPIfKnZ2aL8k cDMQ== X-Gm-Message-State: AOAM5339jeWt/0Q9JuIb3RxhY7DJNe3pw/GVN6bFT3PRAdN586XZJObV nmQV1xaHax1ac32meCir9Raox0mEZoFOxOpdzg4= X-Google-Smtp-Source: ABdhPJy596zhpppBP7Q4P02YqVfZfs1nzIpOsZZJg1SaGbISrwhypfl8VkOUwcF9aPFYKN3CqcWmFYmVFcoK3DBUHiE= X-Received: by 2002:a63:2d45:: with SMTP id t66mr12080679pgt.449.1616176938549; Fri, 19 Mar 2021 11:02:18 -0700 (PDT) MIME-Version: 1.0 References: <20210319012445.678308ed@riseup.net> <87o8ff8jb9.fsf@airmail.cc> <877dm3ozy8.fsf@dismail.de> In-Reply-To: <877dm3ozy8.fsf@dismail.de> From: Vincent Legoll Date: Fri, 19 Mar 2021 19:02:07 +0100 Message-ID: Subject: Re: [SPITBALL] Jehanne as another kernel option / porting target To: pinoaffe , raingloom , guix-devel Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::429; envelope-from=vincent.legoll@gmail.com; helo=mail-pf1-x429.google.com 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, 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.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=1616177057; 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:dkim-signature; bh=w3nmQnFFOgCDVsNdRvg6dPlX/g8gqTEofSFnRVwczVc=; b=td9Wt/QlBhsM1tocFbKEu4ESGkToyGVQdBCVCC6R1mBxnBb8wTZIT1tDAahjCiC5ePuQET KKoKCYGVF443xS6JdQWbH4C+oaWYtSLqu7q7YidOlOlOyd+O2b4G7iqyJq90IxwmbvzpCr f/VIayxGWlBGQxY02YOXW6REnVTder1KpiPnvZlAH0pkNjehL+PfOHwa7fRXoKBFZAdnM6 lEFSbQjCvAB2TPqY21HB9e6J7dAgHynzJaqa1bjRhyu2D7yOxkMS77xuN/XS4LPPyqJgIR hGhlsGNHHFPGqpEBS5MQ1xQN7MIq4WtPf1L6sHY4LedSmH63Pq8e+8W5HYrjRA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616177057; a=rsa-sha256; cv=none; b=hxk2S2RBoDUfyFhwp13tWov42U4+rPbUstLkhB6dAJxOpk2wDQrsL54dz6YlLy/Kk0DWea 66Hq0c+RsNDgHGhNlBctRox/Rqltl9f1RsR9GSCkqdeo5THjMuC6FRvh3xPzIrHCtNrCm1 7YEcs/aq48PG8O4ilJW1bvh5IQbQF9T+FWuDx6QSWbJZqdzlsYUm0ejKaEsfGw4e4UjJUo iCsQEIJRDYyBNz6wLFplku65tvm1ePG0jjAGSr/yC/hkNwOdRDagS5e7XE1CunwOxCjxT4 PGnvfybw+ad1Adr65Qrb73TDSmVlQTB2Yxs2HXkNujGIEmLE8qcWpkUv8aJRIA== ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=DqgCaTOW; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx2.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: -3.11 Authentication-Results: aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=DqgCaTOW; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx2.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: 684101EF0D X-Spam-Score: -3.11 X-Migadu-Scanner: scn0.migadu.com X-TUID: /NmecNAtNKsE Hello, On Fri, Mar 19, 2021 at 5:45 PM Joshua Branson wrote: > >> seL4 would be cool too. > > Didn't someone do some work on making hurd run on SEL4? > > Or am I misremembering > > You are correct. :) It was a member of the L4 family, but I think it was not seL4 (looks like seL4 started in 2006). I have created a guix build recipe for seL4 recently, it builds, but I don't know what to do with it :-) I'll send it as a followup to this thread, if any one is interested. -- Vincent Legoll