From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 190985D4 for ; Fri, 26 Apr 2019 14:05:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380439475" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2019 16:05:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EA60282699; Fri, 26 Apr 2019 16:05:55 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8E7B68249D for ; Fri, 26 Apr 2019 16:05:50 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3A6PS6SxQLGTKUwwxnOIvP20vDvNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bB2N2/xhgRfzUJnB7Loc0qyK6vmmBDJLvszJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/Ru8QXjodvKLg9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DrhyvpwJxzZPXbo6aKPVxY63ScMgGRWZdRMtdSzBND5m+?= =?us-ascii?q?YoYJEuEPPfxYr474p1YWtBW+AQisBP3xxT9Sm3T7wLc10+I8Hg7Y2AwrAtUDsH?= =?us-ascii?q?PQrNX0KqcdT/q1wbLGzTXCdfNWwiv95JLJchAnuP2DRqx/cdDVyUkuEQPJlEif?= =?us-ascii?q?ppL8Mj6Ty+8DvW+b7+96WuKujW4qsw9xoj+0xsgxlIbJg5gZylfe9SV22Io6Oc?= =?us-ascii?q?G3R1JhbdG5DpRdsTyROYhuQs46XW1kpSQ3xqcbtZO/fiUG0pcqywLFZ/CZb4SF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTte70FdMripFldnMrHYN2wXW6sedS/?= =?us-ascii?q?t9+l2t2TeJ1wzK8e5LP1o0la7aK54n2LI/i4QcvVzCHi/whkr2kLebels59uWq?= =?us-ascii?q?8ejrf7Hrq52GO4J3lg3yKLoiltCnDeQ9KAcOXmyb+eqm1L3k+E30WLJKjvk3kq?= =?us-ascii?q?nHrp/aP98WpqC4Aw9PyYYj9wyzDzag0NgBhnYIMkhFeBaGj4jvIV3BPe73Ae+l?= =?us-ascii?q?g1uwiDdr2+zGPrr5D5rRNHfDlbPhca95605d0woz0ctS54lUC7EEOPL8QFX9tN?= =?us-ascii?q?3eDh8jMgy72fzrCNtn1tBWZWXaCaacNObWsESUzuMpOeiFIoEP6xjnLP1wwPrv?= =?us-ascii?q?k3Ij0XUUe6Wk2dNDb3S5APl8C0uYe2HwxNYHVG0HpA4/SqrmhQvRAnZoe3+uUv?= =?us-ascii?q?dktXkAA4W8ANKbH93/sPm6xC6+W6ZuSCVGB1SLSyi6eoSCW/AWbmeXK85l1D0C?= =?us-ascii?q?ELKsUYsg01eiuV2ikuY1Hq/v4iQd8Knb+p1t/eSJzUM89CZvE4Kc1SSHQntwn2?= =?us-ascii?q?VOSzJkhPku83w48U+K1O1Du9IdENVS4/1TVQJgbczSzvZhF5bzXEfLc82NSVDg?= =?us-ascii?q?Ttj0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BWCgDID8NcexRQxdlmHQEBHwUBBgGBT?= =?us-ascii?q?oEoPYESUjKEN4h7iiKcVA4BASWKfBsGBjQTAQMBAQQBAQIBAQEBEwEBCwsKByk?= =?us-ascii?q?jDII6IoMYgQsCBSECEYM4TIIMC64ggS+EMgEDBIENgyKBPwaBCyUCAQEBAYtGF?= =?us-ascii?q?4F/g3UuPoI8JQEEgiuCPYJXBKZoCYEuXFSFPIwSDBtsgQ8BiXqJJQGSRo4DAgQ?= =?us-ascii?q?CBAUCFYFmgXczGggcFIJzAQEzhjCEYYVBPQOVLgEB?= X-IPAS-Result: =?us-ascii?q?A0BWCgDID8NcexRQxdlmHQEBHwUBBgGBToEoPYESUjKEN4h?= =?us-ascii?q?7iiKcVA4BASWKfBsGBjQTAQMBAQQBAQIBAQEBEwEBCwsKBykjDII6IoMYgQsCB?= =?us-ascii?q?SECEYM4TIIMC64ggS+EMgEDBIENgyKBPwaBCyUCAQEBAYtGF4F/g3UuPoI8JQE?= =?us-ascii?q?EgiuCPYJXBKZoCYEuXFSFPIwSDBtsgQ8BiXqJJQGSRo4DAgQCBAUCFYFmgXczG?= =?us-ascii?q?ggcFIJzAQEzhjCEYYVBPQOVLgEB?= X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380439390" X-MGA-submission: =?us-ascii?q?MDGAy9HrB2QI1DtcETOjUWlAnKT/norGYgNPWM?= =?us-ascii?q?90Y54y2sE5lNIF9c63lD3TeshqR1NqDNJ3BNgPqqyVJp/Fb0EPzOFiIY?= =?us-ascii?q?SB9PvQb/nswvMJo/reQsf1jvvHAzCDxpOT6wXtgsOwTzoFNdPbNgvXxz?= =?us-ascii?q?MzmhFqkcHsP2oSyfM4gJIU0Q=3D=3D?= Received: from einhorn-mail.in-berlin.de ([217.197.80.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Apr 2019 16:05:20 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id x3QE5KB8015870 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 26 Apr 2019 16:05:20 +0200 Date: Fri, 26 Apr 2019 16:05:20 +0200 From: Oliver Bandel To: caml-list@inria.fr Message-ID: <20190426140519.oxiu7nc2bcpmqnk2@first.in-berlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline User-Agent: NeoMutt/20180716 Subject: [Caml-list] FYI: Writing Network Drivers in High-Level Languages Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 17513 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Writing Network Drivers in High-Level Languages How to write drivers in Rust, go, C#, Swift, Haskell, and OCaml https://fosdem.org/2019/schedule/event/writing_network_drivers_in_high_level_languages/ Treiber in High-Level Programmiersprachen https://media.ccc.de/v/eh19-189-treiber-in-high-level-programmiersprachen Ciao, Oliver