From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id oDu3A/OJxGIfdwAAbAwnHQ (envelope-from ) for ; Tue, 05 Jul 2022 20:58:59 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id mOqhA/OJxGKf2QAA9RJhRA (envelope-from ) for ; Tue, 05 Jul 2022 20:58:59 +0200 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 D422E28E9D for ; Tue, 5 Jul 2022 20:58:58 +0200 (CEST) Received: from localhost ([::1]:59114 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o8nlB-00034h-TS for larch@yhetil.org; Tue, 05 Jul 2022 14:58:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38580) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o8nIl-0006Yv-59 for guix-devel@gnu.org; Tue, 05 Jul 2022 14:29:37 -0400 Received: from mail-yb1-xb33.google.com ([2607:f8b0:4864:20::b33]:34313) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o8nIj-0002cL-Qu for guix-devel@gnu.org; Tue, 05 Jul 2022 14:29:34 -0400 Received: by mail-yb1-xb33.google.com with SMTP id i14so3622669yba.1 for ; Tue, 05 Jul 2022 11:29:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=QSblpCxWXgIq4/MWw14SFESXcOjvKsKb2I+pneexLm4=; b=DpXL/izhlnHNQNLpj2iu59Y0yc7Oc7Cq4fbm6vFPUHI2CPUs5TboQA8ztNiTJqpseG +uytNoSZZJU+uuQz+tY6MAquaSvXJ/NZCUCJ3nDjcVUvnfOUviPNuAAbEU/O/dy9n3nC 14Ba+mqjJxymCXl9ZSXlG0tntND/gxZddRwFXuIhSM/YUvWEVmzmsTCRfzbBKbbxBwo3 Vq5wWww6RIsFKhLbQI24CZfumWMYJxA1iCN5WAeUZWe6agJ4FLlrrMniJz2XhaCRgvce za9SPBMHG9V3PXgbm43hvVk9YdAn5I4IxyeRaj/3FtvgnXfU1qfNZi0tppdyB+Hr6aoK yicQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=QSblpCxWXgIq4/MWw14SFESXcOjvKsKb2I+pneexLm4=; b=hbaqQEO41g+Poie1S3IL0FL3/Ziz6ocfgJs1E01dEml1e/PmDlD2lieMYTKensGTOq Jyhjq47AokFvsoQlfmuYR53IcuUTxnOeT4FrH4TU8jDyNJDxpLM+RM73BRkeacOZjeFs HdqUHbGQ5EjpGMTJYqDxwj0V+B9s0RxhzE6h/yGCYMul76+k7dzZGFFu/QSej0lnL/ox JRGnaGP2mbTtJGdAKT4aRSxxMSWleXiGd/P/hAndkcCbvDbNQFBJ2o2i2BlAOBXEhfM4 iNwkdjdU8p1429qke8UJ5ndaYj1MuYxhCGKCEjzoFFcXvzsv2wqKheUVUVdVWJQUdDnS e61A== X-Gm-Message-State: AJIora+XbpuWaqvldakGNI7eTLGa8WnBLDX3cIpaCekfDmTKZF91pOwF oNwxpixBqDwosZY6Sk7LJqxiIjrNJXBEhkqxWZs= X-Google-Smtp-Source: AGRyM1tvalV7xM0sU/XXYLciVgVTFCDpGkncCXnl/bRVI4JoFlRV6PuBasH8APSap9qB5RJ5DfS2uFgBrY9z8EAHGms= X-Received: by 2002:a5b:f08:0:b0:668:f065:9097 with SMTP id x8-20020a5b0f08000000b00668f0659097mr39193750ybr.233.1657045772479; Tue, 05 Jul 2022 11:29:32 -0700 (PDT) MIME-Version: 1.0 From: Nathan Dehnel Date: Tue, 5 Jul 2022 13:29:21 -0500 Message-ID: Subject: Re: Rust in the kernel To: jbranso@dismail.de, guix-devel@gnu.org Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::b33; envelope-from=ncdehnel@gmail.com; helo=mail-yb1-xb33.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, T_SCC_BODY_TEXT_LINE=-0.01 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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1657047538; 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:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=QSblpCxWXgIq4/MWw14SFESXcOjvKsKb2I+pneexLm4=; b=g4+j2E4iWFWFk/dw68TL9L9zSLu0yGkKtqNcxM3UqR3vaNFf946LFYaw0jxoCNmz1WrIJw eTO0LRaGJHVYTPRwp36GYFHFl+v8hMN0PWGTS+is436nvMTIzcByzuj8IrqLUanBghT9Mc n7lWLfSde5jLPYjnr3dU4ZGrIaC4XoTgYa5pNkC+2EDR+AUMTzmSbwyk3jc42wbg8a7R7W EKZnwmmuX8e3tCi81gz9jctSQ5E5i88c8EaEqEy+wzgOK+0KjedAbJCb7kA6KcQxH/Auw6 2cF4g6QP6SjPDJk/6SBIGcTvxHDt2Iw68EVCKYtB2upF4Epnxjf95d1Vmy2I1w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1657047538; a=rsa-sha256; cv=none; b=ooE7C1QQ1GEYKr0Qt7y36VdP213QDQBIMr4+uMSAF0LNnVIH4EliUCkbdrKPLKeK/2lj8f 4fzvRSfGN6Uk+KQ59ZSPfInf0X13JQ023nF3GJq9hubREZfwBe13IZeelV33JKGGr4vULv hAQD/afEaYSDg0cewoNSZInlUbc5mzqppxzJzdWNfuQkuySz73iOiyB7tw1rWhX92wUith fpLXEcS3GmuhpBiF/P5wgdrFRpie85wdCT//j2ZGkxs73iHmNIGBtT9uGES30Ph1CAAcs6 1ywikj7tEs1libXuHj9uK/5aOEEQ7Bv197MncYsaB/5XW8yfZwBkg7k6VK8n5A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="DpXL/izh"; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Spam-Score: -2.95 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="DpXL/izh"; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Queue-Id: D422E28E9D X-Spam-Score: -2.95 X-Migadu-Scanner: scn1.migadu.com X-TUID: TnB191mJYnIp >GNU Mach, which is what the Hurd runs on. Is slower that Linux. There was an attempt to port the Hurd to L4 before. It is deemed not possible by the current hurd developers. This was done with an older L4 (Pistachio, I think) that lacked capabilities in the kernel. Doing it with SEL4 has not been thoroughly investigated.